D.S.Wilson. A representation of lambda terms suitable for operations on their intensions (1990)

by G Nadathur
Venue:In Proc. of the ACM Conf. on Lisp and Functional Programming