%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://www.numdam.org/item/DIA_1988__19__A2_0/
%G fr
%F DIA_1988__19__A2_0