Implementing Substructural Logical Frameworks

Anders Schack-Nielsen

    Publikation: Afhandlinger › Ph.d.-afhandling

    OriginalsprogDansk
    KvalifikationPh.d.
    Vejleder(e)
    • Schürmann, Carsten , Hovedvejleder
    Bevillingsdato29 apr. 2011
    Udgiver
    ISBN'er, trykt978-87-7949236-3
    StatusUdgivet - 2011

    Adgang til dokumentet

    Citationsformater