Multimodal Type Theory

Contents

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.