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

Cached

Download Links

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
Citations:23 - 0 self