@article{ITA_1995__29_4_293_0, author = {Nour, K.}, title = {Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {293--313}, publisher = {EDP-Sciences}, volume = {29}, number = {4}, year = {1995}, zbl = {0838.68062}, mrnumber = {1359055}, language = {fr}, url = {http://www.numdam.org/item/ITA_1995__29_4_293_0/} }