Lambda-Calculus and Combinators - Hindley, J. Roger (University of Wales, Swansea) a Seldin, Jonathan P. (University of Lethbridge, Alberta)

Name: Lambda-Calculus and Combinators - Hindley, J. Roger (University of Wales, Swansea) a Seldin, Jonathan P. (University of Lethbridge, Alberta)
Brand: Cambridge University Press

Stabilní cena

Cenu sledujeme od 20. 7. 2026 a zatím se drží na 2 219 Kč.

2 219 Kč

Cambridge University Press

Celý popis

Do obchodu

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.

Tip: Podívejte se také na další produkty z kategorie Matematické základy.