|
Frequently Bought Together
Customers Who Bought This Item Also Bought
by Flemming Nielson
|
Basic Category Theory for Computer Scientists (Foundations of computing) by Benjamin C. Pierce |
by Bryan O'Sullivan
|
by J. Roger Hindley
|
by Ludwig Wittgenstein
|
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
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)
|
What Do Customers Ultimately Buy After Viewing This Item?
 |
98% buy the item featured on this page: The Lambda Calculus: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics) £66.71 |
 |
2% buy Basic Category Theory for Computer Scientists (Foundations of computing)£18.95 |
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
Most Helpful Customer Reviews
Share your thoughts with other customers: Create your own review
|
 |
Customer Discussions
|
This product's forum
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
Look for similar items by subject
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.
Your Recent History
(What's this?)|
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. |
