The lambda calculus. Its syntax and semantics

Name: The lambda calculus. Its syntax and semantics
Author: H. P. Barendregt

by H. P. Barendregt · 1 review · 1984

Reviewed by	Journal	Date	Access
E. Engeler	The Journal of Symbolic Logic	1984	Restricted

Also by Barendregt