Modal Type Theory

References

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