Lambda-Calculus Schemata (1993)

by Michael J. Fischer