Lambda-Calculus and Combinators
An Introduction
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.
Specificaties
| ISBN/EAN | 9780521898850 |
| Auteur | J. Roger (University of Wales Hindley |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 358 |
| Lengte | 235.0 mm |
| Breedte | 159.0 mm |