Magnus Baunsgaard Kristensen | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred