Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calculK. NourRAIRO-Theor. Inf. Appl., 29 4 (1995) 293-313DOI: https://doi.org/10.1051/ita/1995290402931
