Implementing Substructural Logical Frameworks

Anders Schack-Nielsen

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

    OriginalsprogDansk
    ForlagIT-Universitetet i København
    ISBN (Trykt)978-87-7949236-3
    StatusUdgivet - 2011

    Citationsformater