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   Summary   Related Articles   Check

....and Berardi [2] called here the BB model for short, which was shown to be complete for F in [5] and was indeed the rst nonsyntactic complete model exhibited for this system. It also contains simpler models. The simplest model, called E 2 here, is based on Engeler Plotkin s model E [12] [28], which will be called here Engeler s model for short. We then compare the present class with the models proposed previously for F , at least with those models for which, from our point of view, comparison 2 makes sense. This comparison supposes some familiarity with those previously known ....

G. Plotkin, A set-theoretical denition of application, Memorandum MIPR -95, School of articial intelligence, University of Edinburgh, 1972.

....and Berardi [2] called here the BB model for short, which was shown to be complete for Fj in [5] and was indeed the rst non syntactical complete model exhibited for this system. It also contains simpler models. The simplest model, called E 2 here, is based on Engeler Plotkin s model E [12] [27], which will be called here iEngeler s modelj for short. We then compare the present class with the models proposed previously for F , at least with those models for which, from our point of view, comparison makes sense. This comparison supposes some familiarity with those previously known ....

G. Plotkin, A set-theoretical denition of application, Memorandum MIPR -95, School of articial intelligence, University of Edinburgh, 1972.

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