%0 Journal Article
%A Coppey, L.
%T Catégories de Peano et catégories algorithmiques, récursivité
%J Diagrammes
%Z talk:1
%D 1984
%P LC1-LC47
%V 12
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1984__12__A1_0/
%G fr
%F DIA_1984__12__A1_0