The Impact of the Lambda Calculus in Logic and Computer Science (1997)

View PDF

Download Links

by Henk Barendregt
Citations:27 - 1 self

Document Versions

The Impact of the Lambda Calculus in Logic and Computer Science –Henk Barendregt — 1997 — BULLETIN OF SYMBOLIC LOGIC
The Impact of the Lambda Calculus in Logic and Computer Science –Henk Barendregt — 1997