Lambda-Calculus and Combinators: An Introduction - Hindley, J. Roger (University of Wales, Swansea) - Books - Cambridge University Press - 9780521898850 - July 24, 2008
In case cover and title do not match, the title is correct

Hindley, J. Roger (University of Wales, Swansea)
Lambda-Calculus and Combinators: An Introduction 2 Revised edition

Price
$ 110.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 4 - 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

358 pages, 10 b/w illus. 1 table 55 exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 24, 2008
ISBN13 9780521898850
Publishers Cambridge University Press
Pages 358
Dimensions 159 × 237 × 24 mm   ·   670 g
Language English  

More by Hindley, J. Roger (University of Wales, Swansea)

Show all

Mere med samme udgiver

See all of Hindley, J. Roger (University of Wales, Swansea) ( e.g. Hardcover Book and Paperback Book )