TR-94-02

Relatively Recursive Reals and Real Functions

Ho, Chun-Kuen. 18 February, 1994.

Original Document

The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).