 |
|
|
Item Details
| Title:
|
LAMBDA-CALCULUS AND COMBINATORS
AN INTRODUCTION |
| By: |
J. Roger Hindley, Jonathan P. Seldin |
| Format: |
Hardback |
| List price:
|
£68.00 |
| Our price: |
£59.50 |
| Discount: |
|
| You save:
|
£8.50 |
|
|
|
|
|
| ISBN 10: |
0521898854 |
| ISBN 13: |
9780521898850 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
CAMBRIDGE UNIVERSITY PRESS |
| Pub. date: |
1 July, 2008 |
| Edition: |
2nd Revised edition |
| Pages: |
358 |
| Description: |
This book gives an account of combinatory logic and lambda-calculus models. |
| Synopsis: |
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book. |
| Illustrations: |
10 b/w illus. 1 table 55 exercises |
| Publication: |
UK |
| Imprint: |
Cambridge University Press |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|