Sémantique catégorique des constructeurs de types d'ordre supérieur
Diagrammes (1989)
- Volume: 22, page 31-44
- ISSN: 0224-3911
Access Full Article
top
How to cite
topAgeron, Pierre. "Sémantique catégorique des constructeurs de types d'ordre supérieur." Diagrammes 22 (1989): 31-44. <http://eudml.org/doc/193028>.
@article{Ageron1989,
author = {Ageron, Pierre},
journal = {Diagrammes},
keywords = {abstract type syntaxes; categorical framework for the semantics of polymorphic type theory; tripleability},
language = {fre},
pages = {31-44},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Sémantique catégorique des constructeurs de types d'ordre supérieur},
url = {http://eudml.org/doc/193028},
volume = {22},
year = {1989},
}
TY - JOUR
AU - Ageron, Pierre
TI - Sémantique catégorique des constructeurs de types d'ordre supérieur
JO - Diagrammes
PY - 1989
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 22
SP - 31
EP - 44
LA - fre
KW - abstract type syntaxes; categorical framework for the semantics of polymorphic type theory; tripleability
UR - http://eudml.org/doc/193028
ER -
References
top- [1] J.-Y. Girard, Proofs and types, Cambridge University Press, 1989 (version originale française dactylographiée sous le titre Lambda-calcul typé) Zbl0671.68002MR1003608
- [2] P.J. Freyd, Structural polymorphism, draft (23 jan. 89)
- [3] P. Ageron, Sémantique catégorique des types : comprendre le système F, Diagrammes 19, 1988 Zbl0672.03049MR976067
- [4] C. Lair, Trames et sémantiques catégoriques des systèmes de trames, Diagrammes 18, 1987 Zbl0672.18001MR944790
- [5] P. Ageron, Logiques, catégories et esquisses, thèse de doctorat, à soutenir
- [6] L. Coppey et C. Lair, Leçons de théorie des esquisses (I) Diagrammes 12, 1984 et (II) Diagrammes 19, 1988 Zbl0562.18002MR800501
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.