S. Berardi, C. Berline  Home/Search
Context Related
Links: DBLP | logique.jussieu.fr/pub/d...Fmodcont.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: logique.jussieu.fr/www.be...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
.... such that the usual domain constructions can be carried out directly on the graphs [16] Using similar structures Berardi and Berline [3] managed to construct a large family of concrete models in a noncategorical way. A major drawback of the domain models is that the type...
Cited by: More
A New Model Construction for the Polymorphic Lambda Calculus - Spreen (Correct)
Similar documents (at the sentence level):
52.4%: Building continuous webbed models for System F - Berardi, Berline (2000) (Correct)
Active bibliography (related documents): More All
2.0: βη-complete models for system F - Berardi, Berline (1998) (Correct)
1.1: A presentation of the Curry-Howard Correspondance. - Berline (1997) (Correct)
0.9: βη-complete models for System F - Berardi, Berline (2000) (Correct)
Similar documents based on text: More All
0.1: Informal Proceedings Of The 1993 Workshop On Types For Proofs And.. - (ed.) (1993) (Correct)
0.1: Marking Techniques for Extraction - Prost (1995) (Correct)
0.1: Proceedings Of The 1992 Workshop On Types For Proofs And.. - Nordström, Petersson.. (1992) (Correct)
BibTeX entry: (Update)
S. Berardi and C. Berline, Building continuous webbed models for System F , manuscript, 1998. http://citeseer.ist.psu.edu/article/berardi98building.html More
@misc{ berardi98building,
author = "S. Berardi and C. Berline",
title = "Building continuous webbed models for System F",
text = "S. Berardi and C. Berline, Building continuous webbed models for System
F , manuscript, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/berardi98building.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard, variable et al. - 1986 ACM
214 Domains for Denotational Semantics (context) - Scott - 1982 ACM DBLP
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981 ACM
162 Data types as lattices (context) - Scott - 1976 DBLP
147 Abstraction and Parametric Polymorphism (context) - Reynolds - 1983
41 Using information systems to solve recursive domain equation.. (context) - Larsen, Winskel - 1984
30 Algebras and combinators (context) - Engeler - 1981
29 Lambda-calcul (context) - Krivine - 1990
22 DI-domains as a model of polymorphism (context) - Coquand, Gunter et al. - 1987 ACM DBLP
19 The genericity theorem and the notion of parametricity in th.. - Longo, Milsted et al. - 1993
11 Set-theoretical models of -calculus : theories (context) - Longo - 1983
10 Retraction dI Domain as Model TypeType (context) - on, Model et al. - 1991
7 combinator in Scott's Lambda-calculus models (context) - Park - 1976
6 Colloque sur la programmation (context) - Reynolds, of et al. - 1974
6 A space of retracts (context) - Scott - 1980
6 Parametric Polymorphism (context) - O'Hearn - 1996
5 Studies in Logic vol (context) - Barendregt, lambda-calculus et al. - 1984
4 The nitary Projection Model for 2nd Order Calculus (context) - Amadio, Bruce et al. - 1986
4 Une extension de l'interpr#tation de G#del # l'analyse (context) - Girard - 1971
3 Notes on second order arithmetic (context) - Troelstra - 1973
3 limination des coupures de l'Arithm#tique d'ordre sup#rieure (context) - Girard, tation - 1972
3 augmented english translation of the above (context) - Krivine, types et al. - 1993
3 Categorical completeness results for the simply-typed - calc.. (context) - Simpson - 1995
3 A Finitary Retract Model for the Polymorphic -calculus (context) - McCracken - 1984
3 A domain of domains model of polymorphism (context) - Barbanera, Berardi - 1997
3 Universal retractions on dI-domains (context) - Jiang, Gouy - 1995 DBLP
2 Domain theoretical models of polymorphism (context) - Coquand, Gunter et al. - 1989
2 A set-theoretical denition of application (context) - Plotkin - 1972
1 tation interne du polymorphisme : le probl#me de la r#tracti.. (context) - Berline, interpr - 1992
1 A fij-complete model for System F; preprint (context) - Berardi, Berline - 1998
1 mes de normalisation et Syst#me Ej from a course in -calculu.. (context) - Berline, iTh
1 Extended type structures and lter -models (context) - Coppo, Dezani-Ciangaglini et al. - 1984
Documents on the same site (http://www.logique.jussieu.fr/www.berline/index.html): More
A presentation of the Curry-Howard Correspondance. - Berline (1997) (Correct)
βη-complete models for system F - Berardi, Berline (1999) (Correct)
A kappa-denotational semantics for Map Theory in ZFC + SI - Berline, Grue (1997) (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