Lambda-Calculus and Combinators

Lambda-Calculus and Combinators An Introduction HINDLEY, J Roger

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.
€68,99

Levertijd: 8 tot 15 werkdagen.

Specificaties

ISBN
9780521898850
Uitgever
Cambridge University Press
Druk
2e
Verschenen
01-01-2008
Taal
Engels
Bladzijden
358 pp.
Bindwijze
Hardcover
Genre
Wetenschap

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Vertrouwde service, veilige afhandeling
MINDBOOKSATH : athenaeum