Cubical modal type theories

Magnus Baunsgaard Kristensen

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

Fingerprint

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

Keyphrases

Computer Science

Engineering