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

[ About Us | Education | People | Research | Facilities & Computing | Search this site | View Page Source | Contact Us | Site Map | Login ]
©2012 The University of Chicago® The Department of Computer Science
1100 East 58th Street, Chicago, IL 60637 :: ph 773.702.6614 :: fax 773.702.8487