Étienne Miquey

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 17

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Bruno Dinis, Étienne Miquey
Stateful Realizers for Nonstandard Analysis. Log. Methods Comput. Sci. 19 (2) (2023)
Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey
Concurrent Realizability on Conjunctive Structures. FSCD (2023)
Bruno Dinis, Étienne Miquey
Stateful Realizers for Nonstandard Analysis. CoRR (2022)
Bruno Dinis, Étienne Miquey
Realizability with Stateful Computations for Nonstandard Analysis. CSL (2021)
Liron Cohen, Étienne Miquey, Ross Tate
Evidenced Frames: A Unifying Framework Broadening Realizability Models. LICS (2021)
Hugo Herbelin, Étienne Miquey
A calculus of expandable stores: Continuation-and-environment-passing style translations. LICS (2020)
Étienne Miquey
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models. CSL (2020)
Étienne Miquey
Revisiting the duality of computation: an algebraic analysis of classical realizability models. CoRR (2019)
Étienne Miquey
A constructive proof of dependent choice in classical arithmetic via memoization. CoRR (2019)
Étienne Miquey
A Classical Sequent Calculus with Dependent Types. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Étienne Miquey
A sequent calculus with dependent types for classical arithmetic. LICS (2018)
Étienne Miquey
A sequent calculus with dependent types for classical arithmetic. CoRR (2018)
Étienne Miquey, Hugo Herbelin
Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control. FoSSaCS (2018)
Étienne Miquey, Hugo Herbelin
Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control. CoRR (2018)
Étienne Miquey
Formalizing Implicative Algebras in Coq. ITP (2018)
Mauricio Guillermo, Étienne Miquey
Classical realizability and arithmetical formulæ. Math. Struct. Comput. Sci. 27 (6) (2017)
Étienne Miquey
A Classical Sequent Calculus with Dependent Types. ESOP (2017)
Mauricio Guillermo, Étienne Miquey
Classical realizability and arithmetical formulæ. CoRR (2014)

Étienne Miquey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Étienne Miquey