%0 Journal Article
%A Arsac, Jacques J.
%T Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
%J RAIRO. Informatique théorique
%D 1977
%P 91-112
%V 11
%N 2
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://www.numdam.org/item/ITA_1977__11_2_91_0/
%G fr
%F ITA_1977__11_2_91_0