An introduction to Lambda calculi for computer scientists /
Hankin, Chris.
London : Kings College,
c2004.
Includes bibliographical references and index.
Lambda calculus.