Liste des citations dans Numdam pour : Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann

RAIRO. Informatique théorique, Tome 11 (1977) no. 2, pp. 91-112

Arsac, Jacques

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 2, pp. 149-156

Robinet, B.  

RAIRO. Informatique théorique, Tome 11 (1977) no. 3, pp. 213-236

Berry, G.

RAIRO. Informatique théorique, Tome 11 (1977) no. 2, pp. 113-126