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