Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus

V.A.J. Borghuis

    Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

    729 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Mathematics and Computer Science
    • Baeten, Jos, Promotor
    • Bunt, H.C., Promotor, External person
    • Nederpelt, Rob, Copromotor
    Award date9 Dec 1994
    Place of PublicationEindhoven
    Publication statusPublished - 1994

    Cite this