Lambda-Calcul : Types et Modèles. Etudes et Recherches en Informatique (1990)

by Jean-Louis Krivine