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://www.numdam.org/item/DIA_1988__19__A2_0/
LA  - fr
ID  - DIA_1988__19__A2_0
ER  -