Utvidet returrett til 31. januar 2025

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521898850
  • Bindende:
  • Hardback
  • Sider:
  • 358
  • Utgitt:
  • 24. juli 2008
  • Utgave:
  • 2
  • Dimensjoner:
  • 159x237x24 mm.
  • Vekt:
  • 676 g.
  • BLACK NOVEMBER
  På lager
Leveringstid: 4-7 virkedager
Forventet levering: 5. desember 2024

Beskrivelse 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.

Brukervurderinger av Lambda-Calculus and Combinators



Finn lignende bøker
Boken Lambda-Calculus and Combinators finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.