Implementing Substructural Logical Frameworks

Anders Schack-Nielsen

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

    Original languageDanish
    PublisherIT-Universitetet i København
    ISBN (Print)978-87-7949236-3
    Publication statusPublished - 2011

    Cite this