TR-97-12
Correspondences between Classical, Intuitionistic and Uniform Provability
Nadathur, Gopalan. 7 November, 1997.
Communicated by Gopalan Nadathur.
Original Document
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).