The Lambda Calculus – it’s Syntax and Semantzcs. North-Hollandj (1984)

by Henk Barendregt