Meven Lennon-Bertrand | DeepAI

DeepAI

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

Featured Co-authors

Éric Tanter
19 publications
Kenji Maillard
6 publications
Nicolas Tabareau
4 publications

research

∙ 09/02/2022

A Reasonably Gradual Type Theory

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

0 Kenji Maillard, et al. ∙

research

∙ 02/12/2021

Complete Bidirectional Typing for the Calculus of Inductive Constructions

This article presents a bidirectional type system for the Calculus of In...

0 Meven Lennon-Bertrand, 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. ∙