Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul K. Nour RAIRO-Theor. Inf. Appl., 29 4 (1995) 293-313 Published online: 01 February 2017 DOI: 10.1051/ita/1995290402931