Implementing Substructural Logical Frameworks

Anders Schack-Nielsen

    Research output: Theses › PhD thesis

    Original languageDanish
    QualificationPhD
    Supervisor(s)
    • Schürmann, Carsten, Principal Supervisor
    Publisher
    Print ISBNs978-87-7949236-3
    Publication statusPublished - 2011

    Access to Document

    Cite this