Fingerprint
Dive into the research topics of 'Linear contextual modal type theory'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Linear contextual modal type theory
- Anders Schack-Nielsen
- , Carsten Schürmann
Research output: Book / Anthology / Report › Report › Research