Étienne Miquey

23 papers A* 4A 1B 6Journal 11
YearRankTypeTitle / Venue / Authors
2025 B conf
From Partial to Monadic: Combinatory Algebra with Effects.
FSCD
Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
2025 J jnl
From Partial to Monadic: Combinatory Algebra with Effects.
CoRR
Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
2025 A* conf
Syntactic Effectful Realizability in Higher-Order Logic.
LICS
Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
2025 J jnl
Syntactic Effectful Realizability in Higher-Order Logic.
CoRR
Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
2023 B conf
Concurrent Realizability on Conjunctive Structures.
FSCD
Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey
2023 J jnl
Stateful Realizers for Nonstandard Analysis.
Log. Methods Comput. Sci.
Bruno Dinis, Étienne Miquey
2022 J jnl
Stateful Realizers for Nonstandard Analysis.
CoRR
Bruno Dinis, Étienne Miquey
2021 A* conf
Evidenced Frames: A Unifying Framework Broadening Realizability Models.
LICS
Liron Cohen, Étienne Miquey, Ross Tate
2021 B conf
Realizability with Stateful Computations for Nonstandard Analysis.
CSL
Bruno Dinis, Étienne Miquey
2020 A* conf
A calculus of expandable stores: Continuation-and-environment-passing style translations.
LICS
Hugo Herbelin, Étienne Miquey
2020 B conf
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models.
CSL
Étienne Miquey
2019 J jnl
A Classical Sequent Calculus with Dependent Types.
ACM Trans. Program. Lang. Syst.
Étienne Miquey
2019 J jnl
A constructive proof of dependent choice in classical arithmetic via memoization.
CoRR
Étienne Miquey
2019 J jnl
Revisiting the duality of computation: an algebraic analysis of classical realizability models.
CoRR
Étienne Miquey
2018 A* conf
A sequent calculus with dependent types for classical arithmetic.
LICS
Étienne Miquey
2018 J jnl
A sequent calculus with dependent types for classical arithmetic.
CoRR
Étienne Miquey
2018 B conf
Formalizing Implicative Algebras in Coq.
ITP
Étienne Miquey
2018 B conf
Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control.
FoSSaCS
Étienne Miquey, Hugo Herbelin
2018 J jnl
Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control.
CoRR
Étienne Miquey, Hugo Herbelin
2017 A conf
A Classical Sequent Calculus with Dependent Types.
ESOP
Étienne Miquey
2017 J jnl
Classical realizability and arithmetical formulæ.
Math. Struct. Comput. Sci.
Mauricio Guillermo, Étienne Miquey
2017 — —
Classical realizability and side-effects. (Réalisabilité classique et effets de bords).
Étienne Miquey
2014 J jnl
Classical realizability and arithmetical formulæ.
CoRR
Mauricio Guillermo, Étienne Miquey