16 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Laboratoire des Sciences du Numérique de NantesFR3 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Centre Inria de l'Université de RennesFR1 paper
- IMT AtlantiqueFR1 paper
- Institut de Mathématiques de MarseilleFR1 paper
- Nantes UniversitéFR1 paper
- Swedish Institute of Computer ScienceSE1 paper
- Université de NantesFR1 paper
- University College CorkIE1 paper
- University of ChileCL1 paper
- Uppsala UniversitySE1 paper
Showing 2019Show all
2 papers · 1 filter
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…