TY - JOUR AU - Nour, K. TI - Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1995 DA - 1995/// SP - 293 EP - 313 VL - 29 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1995__29_4_293_0/ UR - https://zbmath.org/?q=an%3A0838.68062 UR - https://www.ams.org/mathscinet-getitem?mr=1359055 LA - fr ID - ITA_1995__29_4_293_0 ER -