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

View PDF

Download Links

by Henk Barendregt
Venue:BULLETIN OF SYMBOLIC LOGIC
Citations:27 - 1 self