Hardback
Add to list Added to list Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley (University of Wales, Swansea),Jonathan P. Seldin (University of Lethbridge, Alberta)
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…
Available to order, ships in approx 2 weeksAvailable to order