The lambda calculus
Subtitle: its syntax and semantics
By: Henk P. Barendregt
Series: Studies in logic. Mathematical logic and foundations -- v. 40; Studies in logic -- v. 40.
Publisher: College Publications
Published: 2012
Place of publication: London
Language: eng
Number of pages: 621
ISBN-13: 9781848900660
Subjects: Lambda calculus
Notes: Includes bibliographical references (p. 585-598) and indexes.