Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Lambda-Calculus and Combinators
- An Introduction
- Bindende:
- Hardback
- Sider:
- 358
- Utgitt:
- 24. juli 2008
- Utgave:
- 2
- Dimensjoner:
- 159x237x24 mm.
- Vekt:
- 676 g.
På lager
Leveringstid:
4-8 virkedager
Forventet levering: 6. januar 2025
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
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Lambda-Calculus and Combinators finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
