%0 Journal Article
%A Nour, K.
%T Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul
%J RAIRO. Informatique théorique et applications
%D 1995
%P 293-313
%V 29
%N 4
%I EDP-Sciences
%U https://www.numdam.org/item/ITA_1995__29_4_293_0/
%G fr
%F ITA_1995__29_4_293_0