Title: The lambda calculus
First published: 1981
Subjects: Lambda calculus