We are inviting IDEALS users, both people looking for materials in IDEALS and those who want to deposit their work, to give us feedback on improving this service through an interview. Participants will receive a $20 VISA gift card. Please sign up via webform.

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