Logics and type systems

    Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Radboud University Nijmegen
    Supervisors/Advisors
    • Barendregt, H.P., Promotor, External person
    Award date14 Sep 1993
    Place of PublicationNijmegen
    Publisher
    Print ISBNs90-9006352-8
    Publication statusPublished - 1993

    Cite this