Lambda calculus schemata (1972)

by M Fischer
Venue:Sigplan Notices