Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Lambda-Calculus and Combinators

Lambda-Calculus and Combinators

- An Introduction

av J. Roger (University of Wales Hindley
Lambda-Calculus and Combinators av J. Roger (University of Wales Hindley
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: 14. november 2024

Om J. Roger (University of Wales Hindley

Se alla böcker av J. Roger (University of Wales Hindley

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



Andra köpte även...
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.