La valeur d un entier classique en lm/lambda/mu-calcul

Karim Nour. La valeur d un entier classique en lm/lambda/mu-calcul. Arch. Math. Log., 36(6):461-473, 1997. [doi]

Abstract

Abstract is missing.