Linear contextual modal type theory

Anders Schack-Nielsen, Carsten Schürmann

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

Fingerprint

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

Computer Science

Keyphrases