Browse Dissertations and Theses - Mathematics by Author "Pe, Joseph Lim"

  • Pe, Joseph Lim (1991)
    Fragments of extensional Martin-Lof type theory without universes, $ML\sb0,$ are introduced that conservatively extend S. A. Cook and A. Urquhart's $IPV\sp\omega.$ A model for these restricted theories is obtained by ...

    application/pdf

    application/pdfPDF (3Mb)Restricted to U of Illinois