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

by Henk Barendregt, Erik Barendsen, Jon Barwise, Johan Van Benthem, Andreas Blass, Wil Dekkers, Marko Van Eekelen, Sol Feferman, Andrzej Filinski, Twan Laan, Jan Kuper, Pierre Lescanne, Hans Mooij, Robert Maron, Y Pollack, Richard Shore, Rick Statman