%0 Journal Article %A Nour, K. %T Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1995 %P 293-313 %V 29 %N 4 %I EDP-Sciences %G fr %F ITA_1995__29_4_293_0