home
items
modal type theory
Modal Type Theory
Contents
References
References
Daniel Gratzer. Normalization for Multimodal Type Theory. 2021.
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal. Multimodal Dependent Type Theory. 2021.