Alexandre Miquel

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 8

Top Topics

Cut Elimination

Linear Time Temporal Logic

Top Venues

Math. Struct. Comput. Sci.

Publications

Samuele Maschio, Alexandre Miquel
Implicative models of set theory. CoRR (2023)
Gilles Dowek, Alexandre Miquel
Relative normalization. CoRR (2023)
Gilles Dowek, Alexandre Miquel
Cut elimination for Zermelo set theory. CoRR (2023)
Alexandre Miquel
Implicative algebras: a new foundation for realizability and forcing. Math. Struct. Comput. Sci. 30 (5) (2020)
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
Realizability in the Unitary Sphere. LICS (2019)
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
Realizability in the Unitary Sphere. CoRR (2019)
Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel
Ordered combinatory algebras and realizability. Math. Struct. Comput. Sci. 27 (3) (2017)
Mauricio Guillermo, Alexandre Miquel
Specifying Peirce's law in classical realizability. Math. Struct. Comput. Sci. 26 (7) (2016)
Alexandre Miquel
Forcing as a Program Transformation. LICS (2011)
Alexandre Miquel
A Survey of Classical Realizability. TLCA (2011)
Alexandre Miquel
Existential witness extraction in classical realizability and via a negative translation Log. Methods Comput. Sci. 7 (2) (2011)
Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS (2010)
Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
The lambda-calculus with constructors: Syntax, confluence and separation. J. Funct. Program. 19 (5) (2009)
Alexandre Miquel
Relating Classical Realizability and Negative Translation for Existential Witness Extraction. TLCA (2009)
Stéphane Lengrand, Alexandre Miquel
, orthogonality and symmetric candidates. Ann. Pure Appl. Log. 153 (1-3) (2008)
Alexandre Miquel
Classical Program Extraction in the Calculus of Constructions. CSL (2007)
Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
A Lambda-Calculus with Constructors. RTA (2006)
Alexandre Miquel
lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts. TYPES (2004)
Alexandre Miquel
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. CSL (2003)
Alexandre Miquel, Benjamin Werner
The Not So Simple Proof-Irrelevant Model of CC. TYPES (2002)
Alexandre Miquel
The Implicit Calculus of Constructions. TLCA (2001)
Alexandre Miquel
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping. LICS (2000)