TR-97-01
A Notation for Lambda Terms: A Generalization of Environments
Nadathur, Gopalan; Wilson, Debra S.. 1 May, 1996.
Communicated by Gopalan Nadathur.
Original Document
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).