Fischer Lambda calculus schemata (1972)

by M J
Venue:ACM SIGPLAN Notices