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).