A Correspondence between Nuprl and the Ramified Theory of Types

F. Kamareddine, T.D.L. Laan

    Research output: Book/Report › Report › Academic

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

    Publication series

    NameTechnical Report
    VolumeTr-1996-18

    Cite this

    Kamareddine, F., & Laan, T. D. L. (1996). A Correspondence between Nuprl and the Ramified Theory of Types. (Technical Report; Vol. Tr-1996-18). Glasgow: University of Glasgow.
    Kamareddine, F. ; Laan, T.D.L. / A Correspondence between Nuprl and the Ramified Theory of Types. Glasgow : University of Glasgow, 1996. 12 p. (Technical Report).
    @book{7d9c53192344495085c6d5e0ccf40e6d,
    title = "A Correspondence between Nuprl and the Ramified Theory of Types",
    author = "F. Kamareddine and T.D.L. Laan",
    year = "1996",
    language = "English",
    series = "Technical Report",
    publisher = "University of Glasgow",

    }

    Kamareddine, F & Laan, TDL 1996, A Correspondence between Nuprl and the Ramified Theory of Types. Technical Report, vol. Tr-1996-18, University of Glasgow, Glasgow.

    A Correspondence between Nuprl and the Ramified Theory of Types. / Kamareddine, F.; Laan, T.D.L.

    Glasgow : University of Glasgow, 1996. 12 p. (Technical Report; Vol. Tr-1996-18).

    Research output: Book/Report › Report › Academic

    TY - BOOK

    T1 - A Correspondence between Nuprl and the Ramified Theory of Types

    AU - Kamareddine, F.

    AU - Laan, T.D.L.

    PY - 1996

    Y1 - 1996

    M3 - Report

    T3 - Technical Report

    BT - A Correspondence between Nuprl and the Ramified Theory of Types

    PB - University of Glasgow

    CY - Glasgow

    ER -

    Kamareddine F, Laan TDL. A Correspondence between Nuprl and the Ramified Theory of Types. Glasgow: University of Glasgow, 1996. 12 p. (Technical Report).