Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.
|
Frequently Bought Together
Customers Who Bought This Item Also Bought
Basic Category Theory for Computer Scientists (Foundations of computing) by Benjamin C. Pierce |
by Bryan O'Sullivan
|
by J. Roger Hindley
|
by Flemming Nielson
|
by Douglas Crockford
|
Product details
Would you like to update product info or give feedback on images?
|
Product Description
Review
This book is (almost) an encyclopedia of type-free lambda calculus... The reviewer is surprised by the author's success in getting in such an amount of material with motivations and complete proofs...
Zentralblatt für Mathematik
It brings together virtually all of the current knowledge on the subject and will be indispensable for serious students of the lambda calculus...
Journal of Symbolic Logic
There must have been an exceptional amount of effort to ensure the high quality of text and printing...
Journal of Symbolic Logic
Product 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.
This book is (almost) an encyclopedia of type-free lambda calculus... The reviewer is surprised by the author's success in getting in such an amount of material with motivations and complete proofs...
Zentralblatt für Mathematik
It brings together virtually all of the current knowledge on the subject and will be indispensable for serious students of the lambda calculus...
Journal of Symbolic Logic
There must have been an exceptional amount of effort to ensure the high quality of text and printing...
Journal of Symbolic Logic
Product 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.
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product)
|
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
Most Helpful Customer Reviews
Share your thoughts with other customers: Create your own review
|
 |
Customer Discussions
Beta (What's this?)|
This product's forum
(0 discussions)
Ask questions, Share opinions, Gain insight
Active discussions in related forums
|
Related forums
|
|||||||||||||||||||||
Listmania!
|
|
Look for similar items by category
- Books > Computing & Internet > Computer Science > Information Systems > Information Theory
- Books > Science & Nature > Mathematics > Mathematical Foundations > Mathematical Logic
- Books > Science & Nature > Mathematics > Reference
- Books > Science & Nature > Popular Science > Maths
- Books > Scientific, Technical & Medical > Mathematics > Mathematical Theory
- Books > Society, Politics & Philosophy > Social Sciences > Communication Studies > Information Theory
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
Health & Beauty at Amazon.co.uk |
Beauty without the Beast |
Treat Someone
With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is). |
||||||||
| |||||
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue Shopping: Top Sellers
| ||||
Amazon Home | |
| International Sites: United States | Germany | France | Japan | Canada | China | |
| Business Programs: Sell on Amazon | Fulfilment by Amazon | Join Associates | Join Advantage | |
| Customer Service | Help | View Basket | Your Account | |
| About Amazon.co.uk | Careers at Amazon | |
| Conditions of Use & Sale | Privacy Notice © 1996-2009, Amazon.com, Inc. and its affiliates |