Mauricio Guillermo

Publication Activity (10 Years)

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

Top Topics

Temporal Reasoning

Topological Spaces

Series Expansion

Top Venues

Math. Struct. Comput. Sci.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey
Concurrent Realizability on Conjunctive Structures. FSCD (2023)
Emmanuel Beffara, Félix Castro, Mauricio Guillermo
Concurrent Realizability on Conjunctive Structures. CoRR (2021)
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
Realizability in the Unitary Sphere. LICS (2019)
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
Realizability in ordered combinatory algebras with adjunction. Math. Struct. Comput. Sci. 29 (3) (2019)
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
Realizability in the Unitary Sphere. CoRR (2019)
Mauricio Guillermo, Étienne Miquey
Classical realizability and arithmetical formulæ. Math. Struct. Comput. Sci. 27 (6) (2017)
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)
Mauricio Guillermo, Étienne Miquey
Classical realizability and arithmetical formulæ. CoRR (2014)