Publicaciones por autor "Lennon Bertrand, Meven"
Mostrando registros 1-1 de 1
-
Maillard G., Kenji; Lennon Bertrand, Meven; Tabareau, Nicolas; Tanter, Eric Pierre (ACM, 2022)Gradualizing the Calculus of Inductive Constructions (CIC) involves dealing with subtle tensions between normalization, graduality, and conservativity with respect to CIC. Recently, GCIC has been proposed as a parametrized ...