Lambda-Calculus and Combinators: An Introduction
Lambda-Calculus and Combinators: An Introduction is backordered and will ship as soon as it is back in stock.
Couldn't load pickup availability
Genuine Products Guarantee
Genuine Products Guarantee
We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.
Delivery and Shipping
Delivery and Shipping
Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.
Lambda-Calculus and Combinators: An Introduction
Author: Hindley, J. Roger
Brand: Cambridge University Press
Edition: 2
Binding: hardcover
Number Of Pages: 358
Release Date: 24-07-2008
Part Number: Illustrated
Details: 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.
EAN: 9780521898850
Package Dimensions: 9.1 x 5.8 x 0.9 inches
Languages: English
