Lambda calculus with types
By: Henk Barendregt, Wil Dekkers, Richard Statman
Contributors: Dekkers, Wil; Statman, Richard; Association for Symbolic Logic; Association for Symbolic Logic
Series: Perspectives in logic
Publisher: Cambridge University Press
Published: 2013
Place of publication: Cambridge, UK; New York
Language: eng
Number of pages: 833
ISBN-13: 9780521766142
Subjects: Lambda calculus
Notes: Includes bibliographical references (p. 791-813) and indexes.