G. Plotkin, A set-theoretical denition of application, Memorandum MIPR -95, School of articial intelligence, University of Edinburgh, 1972. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Building continuous webbed models for System F - Berardi, Berline (2000) (1 citation) (Correct)
Building continuous webbed models for System F - Berardi, Berline (1998) (1 citation) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC