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

by Jean-Louis Krivine