A notation for lambda terms: A generalization of environments (1998)

by Gopalan Nadathur, Debra Sue Wilson
Venue:Theoretical Computer Science