home
items
multimodal type theory
Multimodal Type Theory
Contents
References
References
Frederik Lerbjerg Aagaard, Magnus Baunsgaard Kristensen, Daniel Gratzer, Lars Birkedal. Unifying Cubical and Multimodal Type Theory. 2022.
Frederik Lerbjerg Aagaard, Magnus Baunsgaard Kristensen, Daniel Gratzer, Lars Birkedal. Unifying Cubical and Multimodal Type Theory. 2022.