Lambda-Calcul : Types et Modles. tudes et Recherches en Informatique (1990)

by Jean-Louis Krivine