[Lambda]-calculus and combinators
Subtitle: an introduction
By: J. Roger Hindley, Jonathan P. Seldin.
Contributors: Seldin, J. P.
Publisher: Cambridge University Press
Published: 2008
Place of publication: New York
Language: eng
Number of pages: 358
ISBN-13: 9780521898850
Subjects: Lambda calculus; Combinatory logic
Notes: Includes bibliographical references and index.