Lambda-Calculus Schemata’. LISP and Symbolic Computation 6(3/4), 259–288. Earlier version available (1993)

by M J Fischer
Venue:in the proceedings of an ACM Conference on Proving Assertions about Programs, SIGPLAN Notices