@misc{indiciaec115e4b557b0, title = {La Valeur d'un Entier Classique en \$λμ\$-Calcul}, author = {Karim Nour}, year = {2009}, url = {https://arxiv.org/abs/0905.0552}, note = {Source identifier: 0905.0552} }