Étienne Miquey

According to our database, Étienne Miquey authored at least 14 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Stateful Realizers for Nonstandard Analysis.

Bruno Dinis, Étienne Miquey

Log. Methods Comput. Sci., 2023

Concurrent Realizability on Conjunctive Structures.

Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021

Evidenced Frames: A Unifying Framework Broadening Realizability Models.

Liron Cohen, Étienne Miquey, Ross Tate

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Realizability with Stateful Computations for Nonstandard Analysis.

Bruno Dinis, Étienne Miquey

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

A calculus of expandable stores: Continuation-and-environment-passing style translations.

Hugo Herbelin, Étienne Miquey

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models.

Étienne Miquey

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

A Classical Sequent Calculus with Dependent Types.

Étienne Miquey

ACM Trans. Program. Lang. Syst., 2019

A constructive proof of dependent choice in classical arithmetic via memoization.

Étienne Miquey

CoRR, 2019

2018

Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control.

Étienne Miquey, Hugo Herbelin

CoRR, 2018

A sequent calculus with dependent types for classical arithmetic.

Étienne Miquey

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Formalizing Implicative Algebras in Coq.

Étienne Miquey

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control.

Étienne Miquey, Hugo Herbelin

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Classical realizability and side-effects. (Réalisabilité classique et effets de bords).

Étienne Miquey

PhD thesis, 2017

Classical realizability and arithmetical formulæ.

Mauricio Guillermo, Étienne Miquey

Math. Struct. Comput. Sci., 2017