16 citations
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Laboratoire des Sciences du Numérique de NantesFR2 papers
- Centre Inria de l'Université de RennesFR1 paper
- Institut de Mathématiques de MarseilleFR1 paper
- Nantes UniversitéFR1 paper
- Université de NantesFR1 paper
- University of ChileCL1 paper
3 papers
cs.PL2020★ 16 cited
Gradualizing the Calculus of Inductive Constructions
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau +1
We investigate gradual variations on the Calculus of Inductive Construction (CIC) for swifter prototyping with imprecise types and terms. We observe, with a no-go theorem, a crucia…
cs.LO2019
Revisiting the duality of computation: an algebraic analysis of classical realizability models
Étienne Miquey
In an impressive series of papers, Krivine showed at the edge of the last decade how classical realizability provides a surprising technique to build models for classical theories.…
math.AT2019★ 1 cited
The folk model category structure on strict -categories is monoidal
Dimitri Ara, Maxime Lucas
We prove that the folk model category structure on the category of strict -categories, introduced by Lafont, Métayer and Worytkiewicz, is monoidal, first, for the Gray tensor pr…