Implementing Substructural Logical Frameworks

Anders Schack-Nielsen

    Publikation: AfhandlingerPh.d.-afhandling

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

    Citationsformater