Similar Items: Normalization for multimodal type theory
- Multimodal Dependent Type Theory
- Unifying cubical and multimodal type theory
- Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
- A Normalizing Intuitionistic Set Theory with Inaccessible Sets
- Normalisation by Evaluation for Type Theory, in Type Theory
- Disjunctive bases: normal forms and model theory for modal logics