Nicolas Tabareau | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Éric Tanter
19 publications
Kenji Maillard
6 publications
Matthieu Sozeau
5 publications
Meven Lennon-Bertrand
3 publications
Nicolas Margulies
1 publication

research

∙ 09/02/2022

A Reasonably Gradual Type Theory

Gradualizing the Calculus of Inductive Constructions (CIC) involves deal...

0 Kenji Maillard, et al. ∙

research

∙ 08/23/2021

The Multiverse: Logical Modularity for Proof Assistants

Proof assistants play a dual role as programming languages and logical s...

0 Kenji Maillard, et al. ∙

research

∙ 11/20/2020

Gradualizing the Calculus of Inductive Constructions

Acknowledging the ordeal of a fully formal development in a proof assist...

0 Meven Lennon-Bertrand, et al. ∙

research

∙ 09/11/2019

The Marriage of Univalence and Parametricity

Reasoning modulo equivalences is natural for everyone, including mathema...

0 Nicolas Tabareau, et al. ∙