Similar Items: Multimodal Dependent Type Theory
- Normalization for multimodal type theory
- Unifying cubical and multimodal type theory
- A dependent nominal type theory
- An extensible equality checking algorithm for dependent type theories
- Linear Dependent Type Theory for Quantum Programming Languages
- Relating homotopy equivalences to conservativity in dependent type theories with computation axioms