Lambda-calculus schemata (1972)

by M J Fischer
Venue:In Proceedings of ACM Conference on Proving Assertions about Programs