@article{DIA_1989__22__31_0, author = {Ageron, Pierre}, title = {S\'emantique cat\'egorique des constructeurs de types d'ordre sup\'erieur}, journal = {Diagrammes}, pages = {31--44}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {22}, year = {1989}, mrnumber = {1059269}, zbl = {0703.18003}, language = {fr}, url = {http://archive.numdam.org/item/DIA_1989__22__31_0/} }
TY - JOUR AU - Ageron, Pierre TI - Sémantique catégorique des constructeurs de types d'ordre supérieur JO - Diagrammes PY - 1989 SP - 31 EP - 44 VL - 22 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1989__22__31_0/ LA - fr ID - DIA_1989__22__31_0 ER -
%0 Journal Article %A Ageron, Pierre %T Sémantique catégorique des constructeurs de types d'ordre supérieur %J Diagrammes %D 1989 %P 31-44 %V 22 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://archive.numdam.org/item/DIA_1989__22__31_0/ %G fr %F DIA_1989__22__31_0
Ageron, Pierre. Sémantique catégorique des constructeurs de types d'ordre supérieur. Diagrammes, Tome 22 (1989), pp. 31-44. http://archive.numdam.org/item/DIA_1989__22__31_0/
[1] Proofs and types, Cambridge University Press, 1989 (version originale française dactylographiée sous le titre Lambda-calcul typé) | MR | Zbl
,[2] Structural polymorphism, draft (23 jan. 89)
,[3] Sémantique catégorique des types : comprendre le système F, Diagrammes 19, 1988 | Numdam | MR | Zbl
,[4] Trames et sémantiques catégoriques des systèmes de trames, Diagrammes 18, 1987 | Numdam | MR | Zbl
,[5] Logiques, catégories et esquisses, thèse de doctorat, à soutenir
,[6] Leçons de théorie des esquisses (I) Diagrammes 12, 1984 et (II) Diagrammes 19, 1988 | Numdam | MR | Zbl
et ,