Lambda Calculus Its Syntax and Semantics

Name: Lambda Calculus Its Syntax and Semantics
Price: 116.7 USD
Availability: InStock
ISBN: 9780444875082

ISBN-10: 0444875085

ISBN-13: 9780444875082

Edition: 2nd (Revised)

Authors: H. P. Barendregt

List price: $72.95

30 day, 100% satisfaction guarantee!

Buy eBooks

Buy eBook: $133.00

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

Book details

List price: $72.95
Edition: 2nd
Publisher: Elsevier Science & Technology Books
Publication date: 11/1/1985
Binding: Paperback
Pages: 654
Size: 6.25" wide x 9.25" long x 1.25" tall
Weight: 2.244
Language: English



Towards the Theory


Introduction


Conversion


Reduction


Theories


Models


Conversion


Classical Lambda Calculus


The Theory of Combinators


Classical Lambda Calculus (Continued)


The Lambda-Calculus


Bohm Trees


Reduction


Fundamental Theorems


Strongly Equivalent Reductions


Reduction Strategies


Labelled Reduction


Other Notions of Reduction


Theories


Sensible Theories


Other Lambda Theories


Models


Construction of Models


Local Structure of Models


Global Structure of Models


Combinatory Groups


Appendices: Typed Lambda Calculus


Illative Combinatory Logic


Variables


References