Title: An introduction to lambda calculus
Description: This book provides a comprehensive introduction to Lambda Calculus.
Subjects: Lambda calculus, COMPUTERS / Machine Theory