Andrea Vezzosi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Rasmus Ejlers Møgelberg
8 publications
Christian Sattler
5 publications
Magnus Baunsgaard Kristensen
2 publications

research

∙ 12/28/2021

Two Guarded Recursive Powerdomains for Applicative Simulation

Clocked Cubical Type Theory is a new type theory combining the power of ...

0 Rasmus Ejlers Møgelberg, 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. ∙

research

∙ 05/01/2020

Partial Univalence in n-truncated Type Theory

It is well known that univalence is incompatible with uniqueness of iden...

0 Christian Sattler, et al. ∙