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.
- ISBN:
- 9780444875082
- 9780444875082
-
Category:
- Calculus
- Publication Date:
-
01-11-1985
- Language:
- English
- Publisher:
- Elsevier Science & Technology Books
- Country of origin:
- United States
- Edition:
- 2nd Edition
- Dimensions (mm):
- 230x150mm
- Weight:
- 1.02kg
Click 'Notify Me' to get an email alert when this item becomes available
Hi There,
Did you know that you can save books into your library to create gift lists, reading lists, etc?
You can also mark books that you're reading, or want to read.
Great!
Click on Save to My Library / Lists
Select the List you'd like to categorise as, or add your own
Here you can mark if you have read this book, reading it or want to read
Awesome! You added your first item into your Library
Great! The fun begins.
Click on My Library / My Lists and I will take you there
Reviews
Be the first to review The Lambda Calculus.
Share This Book: