Lambda-calculus schemata. In Talcott [34]. An earlier version appeared (1972)

by Michael J Fischer
Venue:in the Proceedings of the ACM Conference on Proving Assertions about Programs, SIGPLAN Notices