Lambda-calculus and combinators, an introduction /
Hindley, J. Roger.
Seldin, J. P.
Cambridge : Cambridge University Press,
2008.
Includes bibliographical references (p. 323-333) and index.
Lambda calculus.
Combinatory logic.