A Correspondence between Nuprl and the Ramified Theory of Types

F. Kamareddine, T.D.L. Laan

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationGlasgow
    PublisherUniversity of Glasgow
    Number of pages12
    Publication statusPublished - 1996

    Publication series

    NameTechnical Report
    VolumeTr-1996-18

    Cite this