DocumentCode
2275089
Title
Categories of embeddings
Author
Coquand, Thierry
Author_Institution
INRIA, Le Chesnay, France
fYear
1988
fDate
0-0 1988
Firstpage
256
Lastpage
263
Abstract
A categorical generalization of the notion of domains, which is stable by (suitable) exponentiation is presented. The goal was originally to generalize J.Y. Girard´s (1986) model of polymorphism to F omega . If this notion is specialized to the poset case, a novel Cartesian closed category of domains is obtained.<>
Keywords
formal logic; set theory; Cartesian closed category of domains; embeddings categories; poset; Application software; Computer science;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on
Conference_Location
Edinburgh, UK
Print_ISBN
0-8186-0853-6
Type
conf
DOI
10.1109/LICS.1988.5124
Filename
5124
Link To Document