Lambda-Calculus and Combinators
J. Roger (University of Wales, Swansea) Hindley, Jonathan P. (University of Lethbridge, Alberta) Seldin
Cambridge University Press, 2008
110,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521898850
- ISBN-10
- 0521898854
- Publisher
- Cambridge University Press
- Year
- 2008
- Publication date
- 2008-07-24
- Pages
- 358
- Dimensions
- 237x159x24
- Weight
- 670