S. Berardi and C. Berline, A fij-complete model for System F; preprint, Juin 1998.  Home/Search   Document Not in Database   Summary   Related Articles

....and C. Berline October 15th 1998 Abstract We present here a large family of concrete models for Girard and Reynolds polymorphism (System F ) in a non categorical setting. The family generalizes the construction of the model of Barbanera and Berardi [2] hence it contains complete models for Fj [5] and we conjecture that it contains models which are complete for F . It also contains simpler models, the simplest of them, E 2 ; being a second order variant of the Engeler Plotkin model E . All the models here belong to the continuous semantics and have underlying prime algebraic domains, all ....

....is transparent and requires no functorial notion. In fact working with a particular model requires no category theory at all. This concrete family generalizes the construction of the model of Barbanera 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 ....

[Article contains additional citation context not shown here]

S. Berardi and C. Berline, A fij-complete model for System F; preprint, Juin 1998.

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