Introduction to combinators and [lambda]-calculus /

Bibliographic Details

Main Author:	Hindley, J. Roger
Other Authors:	Seldin, J. P.
Format:	Book
Language:	English
Published:	Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
Series:	London Mathematical Society student texts ; 1.
Subjects:	Combinatory logic. Lambda calculus.