Lambda-Calculus and Combinators
An Introduction
Vše od
Cambridge University Press
ISBN: 9780521898850
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.
2 219 Kč
- 1 - 2 ks
- 2 219 Kč
- 3 - 10 ks
- 2 197 Kč
- 11 a více ks
- 2 175 Kč
Předpoklad doručení do 28. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Cambridge University Press ↓
2 219 Kč
Více o produktu ↓
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.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Hindley, J. Roger (University of Wales, Swansea);Seldin, Jonathan P. (University of Lethbridge, Alberta)
- Rozměry
- 237 x 159 x 24
- Rok vydání
- 2008
- Počet stran
- 358
- Obsah
- Hardback
- Hmotnost
- 670
- Počet stran
- 358 pages, Worked examples or Exercises; 1 Tables, unspecified; 10 Line drawings, unspecified
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Lambda-Calculus and Combinators a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
