Lambda-Kalkül und Kombinatoren: Eine Einführung von J. Roger Hindley [gebunden]
73,20 €
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 - Aerosols And The Human Lung: An Introduction by Darquenne, Chantal J [Hardback]](https://i.ebayimg.com/thumbs/images/g/qBMAAeSwqhVoMal3/s-l140.jpg)
