Loading...
By J. Roger Hindley
J. Roger Hindley, 2008
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.