Tell your friends about this item:
Lambda-Calculus and Combinators: An Introduction 2 Revised edition
Hindley, J. Roger (University of Wales, Swansea)
Our customers say:
Add to your iMusic wish list
Lambda-Calculus and Combinators: An Introduction 2 Revised edition
Hindley, J. Roger (University of Wales, Swansea)
This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
358 pages, 10 b/w illus. 1 table 55 exercises
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | July 24, 2008 |
| ISBN13 | 9780521898850 |
| Publishers | Cambridge University Press |
| Pages | 358 |
| Dimensions | 159 × 237 × 24 mm · 676 g |
| Language | English |