Skip to content
cs-conference-ranking.org

tienne Miquey

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

6

Active years

2017–2026

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2026LICSOracles Just for Fan: A Robust Computational Interpretation of the Fan Theorem.Titouan Leclercq, tienne Miquey
2025FSCDFrom Partial to Monadic: Combinatory Algebra with Effects.Liron Cohen, Ariel Grunfeld, Dominik Kirst, tienne Miquey
2025LICSSyntactic Effectful Realizability in Higher-Order Logic.Liron Cohen, Ariel Grunfeld, Dominik Kirst, tienne Miquey
2023FSCDConcurrent Realizability on Conjunctive Structures.Emmanuel Beffara, Flix Castro, Mauricio Guillermo, tienne Miquey
2021CSLRealizability with Stateful Computations for Nonstandard Analysis.Bruno Dinis, tienne Miquey
2021LICSEvidenced Frames: A Unifying Framework Broadening Realizability Models.Liron Cohen, tienne Miquey, Ross Tate
2020CSLRevisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models.tienne Miquey
2020LICSA calculus of expandable stores: Continuation-and-environment-passing style translations.Hugo Herbelin, tienne Miquey
2018FOSSACSRealizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control.tienne Miquey, Hugo Herbelin
2018ITPFormalizing Implicative Algebras in Coq.tienne Miquey
2018LICSA sequent calculus with dependent types for classical arithmetic.tienne Miquey
2017ESOPA Classical Sequent Calculus with Dependent Types.tienne Miquey