Lambda-Calculus and Combinators

J. Roger Hindley, 2008

Overview

This book presents an account of combinatory logic and lambda-calculus. It discusses the grammar and fundamental properties of both systems. The text then moves on to explain type theory and models of lambda-calculus. The approach is designed to be as non-technical as possible, incorporating numerous examples and exercises to aid understanding.

Who it's for

• Students and researchers in logic and theoretical computer science.
• Individuals interested in the foundations of computation.
• Those seeking a non-technical introduction to formal systems.

Key features

• Language: English
• Pages: 360
• Binding: Hardback
• ISBN: 9780521898850
• Publisher: Cambridge Academ
• Year: 2008