A notation for lambda terms I: A generalization of environments (revised (1994)

by Gopalan Nadathur, Debra Sue Wilson