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

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