Modal Type Theory

Contents

References

• Daniel Gratzer. Normalization for Multimodal Type Theory. 2021.
• Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal. Multimodal Dependent Type Theory. 2021.