Vetenskap & teknik
Lambda-Calculus and Combinators
J Roger Hindley • Jonathan P Seldin • J Roger Hindley • Jonathan P Seldin
Inbunden
1029:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780521898850
- Språk: Engelska
- Antal sidor: 358
- Utgivningsdatum: 2008-07-24
- Förlag: Cambridge University Press