processing...
home
items
modal type theory
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
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.