Lambda-Calculus and Combinators - An Introduction - Jonathan P. Seldin - Hardback Bog - Cambridge University Press - 2008 - Engelsk - Booktok.dk
Brand: Cambridge University Press
Description
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.
