 |
An Introduction to Lambda Calculi for Computer Scientists
Chris Hankin (Author) Average Customer Review:   (2)
In stock This item Delivered FREE in the UK with Super Saver Delivery. £10.00
Product Description
The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the... Read More |
|
Show items from:
All Categories
(5)
Books Show items that:
Customers also bought
Customers also viewed
|
|
|||||||||||||||||||||||
