Functional Operational Semantics and its Denotational Dual

D. Turi

    Research output: PhD ThesisPhD Thesis - Research VU, graduation VU

    22 Downloads (Pure)
    Original languageEnglish
    QualificationPhD
    Awarding Institution
    • Vrije Universiteit Amsterdam
    Award date1 Jan 1996
    Publication statusPublished - 1996

    Cite this