Magnus Baunsgaard Kristensen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Lars Birkedal
15 publications
Daniel Gratzer
13 publications
Rasmus Ejlers Møgelberg
8 publications
Andrea Vezzosi
3 publications
Frederik Lerbjerg Aagaard
2 publications

research

∙ 03/24/2022

Unifying cubical and multimodal type theory

In this paper we combine the principled approach to programming with mod...

0 Frederik Lerbjerg Aagaard, et al. ∙

research

∙ 02/03/2021

A model of Clocked Cubical Type Theory

Guarded recursion is a powerful modal approach to recursion that can be ...

0 Magnus Baunsgaard Kristensen, et al. ∙