F. Barbanera, S. Berardi, A domain of domains model of polymorphism, technical report, University of Turin, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Building continuous webbed models for System F - Berardi, Berline (2000) (1 citation) Self-citation (Berardi) (Correct)
....F S. Berardi and C. Berline October 15th 1998, revised November 15th 2000. 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 F [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 ....
....from previous models, and for which the interpretation of second order quanti cation 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 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 ....
[Article contains additional citation context not shown here]
F. Barbanera, S. Berardi, A domain of domains model of polymorphism, technical report, University of Turin, 1997.
Building continuous webbed models for System F - Berardi, Berline (1998) (1 citation) Self-citation (Berardi) (Correct)
....webbed models for System F S. Berardi 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 ....
....from previous models, and for which the interpretation of second order quanti cation 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 ....
[Article contains additional citation context not shown here]
F. Barbanera, S. Berardi, A domain of domains model of polymorphism, technical report, University of Turin, 1997, article en pr#paration.
βη-complete models for system F - Berardi, Berline (1998) Self-citation (Berardi) (Correct)
....models for system F . Stefano Berardi Chantal Berline. June 7th, 1998 Abstract We show that the model of system F introduced in [5], and having as polymorphic maps exactly all Scott continuous maps, is fij complete. This proves in particular the existence of non trivial fij complete models for F: 1 Introduction. In this paper we will progress in the study of non trivial models of the notion of polymorphic maps of Girard s ....
....System F [16] and Reynolds polymorphism [25] This study was started in Scott [28] 29] Girard [17] and continued by Coquand Gunter Winskel [12] Our contribution is to prove that there exist non trivial fij complete models of F . More precisely we will prove that the model introduced in [5], with this precise purpose in mind, is fij complete. This model, called here the BB model for short, is a Scott model, and the polymorphic maps in it are exactly the Scott continuous ones ; furthermore its definition is very concrete and has no direct link with the syntax of F: We will not need ....
[Article contains additional citation context not shown here]
F. Barbanera, S. Berardi, "A domain of domains model of polymorphism", technical report, University of Turin, 1997.
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