TR-96-13
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional
Nadathur, G.. 30 May, 1996.
Communicated by Gopalan Nadathur.
Original Document
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).
Nadathur, G.. 30 May, 1996.
Communicated by Gopalan Nadathur.
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).