Lambda Calculus Schemata (1972)

by Michael J Fischer
Venue:In Proceedings of the ACM Conference Proving Assertions About Programs