Lambda-Calculus : Types and Models. Computers and their applications (1993)

by J-L Krivine