Lambda-calculus and combinators, an introduction /

Bibliographic Details

Main Author:	Hindley, J. Roger
Other Authors:	Seldin, J. P.
Format:	Book
Language:	English
Published:	Cambridge, UK ; New York : Cambridge University Press, 2008.
Subjects:	Lambda calculus. Combinatory logic.