We a good story
Quick delivery in the UK

Lambda-Calculus and Combinators

- An Introduction

About Lambda-Calculus and Combinators

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521898850
  • Binding:
  • Hardback
  • Pages:
  • 358
  • Published:
  • July 23, 2008
  • Edition:
  • 2
  • Dimensions:
  • 159x237x24 mm.
  • Weight:
  • 676 g.
  In stock
Delivery: 3-5 business days
Expected delivery: December 4, 2024

Description of Lambda-Calculus and Combinators

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.

User ratings of Lambda-Calculus and Combinators



Find similar books
The book Lambda-Calculus and Combinators can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.