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)Academic

    LanguageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Department of Mathematics and Computer Science
    Supervisors/Advisors
    • Baeten, Jos, Promotor
    • Bunt, H.C., Promotor, External person
    • Nederpelt Lazarom, R.P., Copromotor
    Award date9 Dec 1994
    Place of PublicationEindhoven
    Publisher
    DOIs
    StatePublished - 1994

    Fingerprint

    Modality
    Modal Logic
    Lambda Calculus

    Cite this

    Borghuis, V. A. J. (1994). Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus Eindhoven: Technische Universiteit Eindhoven DOI: 10.6100/IR427575
    Borghuis, V.A.J.. / Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus. Eindhoven : Technische Universiteit Eindhoven, 1994. 219 p.
    @phdthesis{fff3662149dd4a4ca185c01b90248b9b,
    title = "Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus",
    author = "V.A.J. Borghuis",
    year = "1994",
    doi = "10.6100/IR427575",
    language = "English",
    publisher = "Technische Universiteit Eindhoven",
    school = "Department of Mathematics and Computer Science",

    }

    Borghuis, VAJ 1994, 'Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus', Doctor of Philosophy, Department of Mathematics and Computer Science, Eindhoven. DOI: 10.6100/IR427575

    Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus. / Borghuis, V.A.J.

    Eindhoven : Technische Universiteit Eindhoven, 1994. 219 p.

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

    TY - THES

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

    AU - Borghuis,V.A.J.

    PY - 1994

    Y1 - 1994

    U2 - 10.6100/IR427575

    DO - 10.6100/IR427575

    M3 - Phd Thesis 1 (Research TU/e / Graduation TU/e)

    PB - Technische Universiteit Eindhoven

    CY - Eindhoven

    ER -

    Borghuis VAJ. Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus. Eindhoven: Technische Universiteit Eindhoven, 1994. 219 p. Available from, DOI: 10.6100/IR427575