Rebecca Zucchini | DeepAI

DeepAI

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

Featured Co-authors

Brigitte Pientka
11 publications
Andreas Abel
9 publications
David Thibodeau
7 publications
Francisco Ferreira
7 publications

research

∙ 05/07/2019

A Type Theory for Defining Logics and Proofs

We describe a Martin-Löf-style dependent type theory, called Cocon, that...

0 Brigitte Pientka, et al. ∙

research

∙ 01/10/2019

Cocon: Computation in Contextual Type Theory

We describe a Martin-Löf style dependent type theory, called Cocon, that...

0 Brigitte Pientka, et al. ∙