Cubical modal type theories

Magnus Baunsgaard Kristensen

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

    Fingerprint

    Dive into the research topics of 'Cubical modal type theories'. Together they form a unique fingerprint.

    Keyphrases

    Engineering

    Computer Science