Lambda-calculus schemata (0)

by M J Fisher
Venue:In Proc. of the ACM Conf. on Proving Properties about Programs, Sigplan Notices