The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

By
Henk Barendregt
Henk Barendregt
1984 • 621 pages
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

Publisher: North-Holland

Type: Physical Book

Language: English

Pages: 621

Information: Revised

Release Date: 1984-01-01

ISBN 10: 0444875085

ISBN 13: 9780444875082

Country: United States of America