Linear contextual modal type theory

Anders Schack-Nielsen, Carsten Schürmann

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

    Fingerprint

    Dive into the research topics of 'Linear contextual modal type theory'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science