Marknadens största urval
Snabb leverans

Lambda-Calculus and Combinators

- An Introduction

Om Lambda-Calculus and Combinators

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521898850
  • Format:
  • Inbunden
  • Sidor:
  • 358
  • Utgiven:
  • 24. juli 2008
  • Utgåva:
  • 2
  • Mått:
  • 159x237x24 mm.
  • Vikt:
  • 676 g.
  I lager
Leveranstid: 4-7 vardagar
Förväntad leverans: 3. december 2024

Beskrivning av Lambda-Calculus and Combinators

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.

Användarnas betyg av Lambda-Calculus and Combinators



Hitta liknande böcker
Boken Lambda-Calculus and Combinators finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.