Voir la notice de l'article provenant de la source Numdam
@article{DIA_1988__19__A2_0,
author = {Argeron, Pierre},
title = {S\'emantique cat\'egorique des types : comprendre le syst\`eme {F}},
journal = {Diagrammes},
note = {talk:2},
pages = {PA1--PA40},
publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
volume = {19},
year = {1988},
mrnumber = {976067},
zbl = {0672.03049},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/DIA_1988__19__A2_0/}
}
TY - JOUR AU - Argeron, Pierre TI - Sémantique catégorique des types : comprendre le système F JO - Diagrammes N1 - talk:2 PY - 1988 SP - PA1 EP - PA40 VL - 19 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://geodesic.mathdoc.fr/item/DIA_1988__19__A2_0/ LA - fr ID - DIA_1988__19__A2_0 ER -
%0 Journal Article %A Argeron, Pierre %T Sémantique catégorique des types : comprendre le système F %J Diagrammes %Z talk:2 %D 1988 %P PA1-PA40 %V 19 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://geodesic.mathdoc.fr/item/DIA_1988__19__A2_0/ %G fr %F DIA_1988__19__A2_0
Argeron, Pierre. Sémantique catégorique des types : comprendre le système F. Diagrammes, Tome 19 (1988), Exposé no. 2, 40 p.. http://geodesic.mathdoc.fr/item/DIA_1988__19__A2_0/