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 cs.LOShow 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.…
cs.LO2018
Realizability Interpretation and Normalization of Typed Call-by-Need -calculus With Control
Étienne Miquey, Hugo Herbelin
We define a variant of realizability where realizers are pairs of a term and a substitution. This variant allows us to prove the normalization of a simply-typed call-by-need $$λ…