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

by J-L Krivine