Lambda Calculus With Types

by Henk Barendregt · 1 review · 2015

Reviewed by	Journal	Date	Access
Adrian Rezus	Studia Logica	2015-12	Restricted

Metaphysics & Logic

Also by Barendregt

The Lambda-Calculus, 2nd Ed (1 review)
The lambda calculus. Its syntax and semantics (1 review)

Search PhilReviews for this title