Lambda-calculus and combinators: an introduction
Auteur :
Hindley, J. Roger / Seldin, Jonathan P.
Éditeur :
Cambridge University Press
ISBN :
9780521898850
Date de publication :
24 juil. 2008
Dimensions :
23,5 x 15,4 x 2,3 cm
Poids :
610 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.