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

by J Krivine