Produseres på bestilling
Leveringstid: 14-30 virkedager
Handlinger
Beskrivelse
Omtale
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.
Detaljer
-
Utgivelsesdato:
24.07.2008
-
ISBN:
9780521898850
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Litteraturtype:
-
Utgave:
2 Revised edition
-
Sider:
358
-
Høyde:
23.7 cm
-
Bredde:
15.9 cm
Andre bøker av eller med J. Roger Hindley
Basic Simple Type Theory
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Produseres på bestilling