Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley
74,01 €
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory.
Jetzt bei Ebay:
![Produktbild - Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley [Hardback]](https://i.ebayimg.com/thumbs/images/g/8UoAAeSwbHNoSMkH/s-l140.jpg)
