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

Document Versions

The Impact of the Lambda Calculus in Logic and Computer Science –Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack — 1997 — Bulletin of Symbolic Logic
The Impact of the Lambda Calculus in Logic and Computer Science –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 — 1997