A Notation for Lambda Terms I: A Generalization of Environments (1994)

by Gopalan Nadathur, Debra Sue Wilson
Venue:THEORETICAL COMPUTER SCIENCE