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

Cached

Download Links

by Henk Barendregt , Jon Barwise , Johan Van Benthem , Andreas Blass , Olivier Danvy , Pierre Lescanne , Hans Mooij , Robert Maron , Rinus Plasmeijer , Y Pollack
Venue:Bulletin of Symbolic Logic
Citations:23 - 0 self