Home
Proofs
Library
Chat
Docs
Notif.
Settings
Sign in
home
library
entries
multimodal type theory
Multimodal Type Theory
References
Unifying Cubical and Multimodal Type Theory. Frederik Lerbjerg Aagaard, Magnus Baunsgaard Kristensen, Daniel Gratzer, Lars Birkedal. 2022.
Unifying Cubical and Multimodal Type Theory. Frederik Lerbjerg Aagaard, Magnus Baunsgaard Kristensen, Daniel Gratzer, Lars Birkedal. 2022.
