A representation of lambda terms suitable for operations on their intensions (1990)

by Gopalan Nadathur, Debra Sue Wilson
Venue:In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming