Domain Theoretic Models Of Polymorphism

Domain Theoretic Models Of Polymorphism (1989)

by Thierry Coquand , Carl A. Gunter , Glynn Winskel

Citations:

33 - 2 self

User correction supplied by mph

Datum	Value	Source
TITLE	Domain Theoretic Models Of Polymorphism	user correction - Legacy Corrections
AUTHOR NAME	Thierry Coquand	user correction
AUTHOR AFFIL	INRIA Rocquencourt	user correction
AUTHOR NAME	Carl A. Gunter	user correction
AUTHOR AFFIL	University of Pennsylvania	user correction
AUTHOR NAME	Glynn Winskel	user correction
AUTHOR AFFIL	Aarhus University	user correction
ABSTRACT	We give an illustration of a construction useful in producing and describing models of Girard and Reynolds' polymorphic -calculus. The key unifying ideas are that of a Grothendieck fibration and the category of continuous sections associated with it, constructions used in indexed category theory; the universal types of the calculus are interpreted as the category of continuous sections of the fibration. As a major example a new model for the polymorphic -calculus is presented. In it a type is interpreted as a Scott domain. In fact, understanding universal types of the polymorphic -calculus as categories of continuous sections appears to be useful generally. For example, the technique also applies to the finitary projection model of Bruce and Longo, and a recent model of Girard. (Indeed the work here was inspired by Girard's and arose through trying to extend the construction of his model to Scott domains.) It is hoped that by pin-pointing a key construction this paper will help towards...	user correction - Legacy Corrections
YEAR	1989	SVM HeaderParse 0.2
CITATIONS	26 found	ParsCit 1.0