Mauricio Guillermo

According to our database, Mauricio Guillermo authored at least 8 papers between 2008 and 2023.

Collaborative distances:

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

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

Concurrent Realizability on Conjunctive Structures.

Emmanuel Beffara, Félix Castro, Mauricio Guillermo

CoRR, 2021

2019

Realizability in ordered combinatory algebras with adjunction.

Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe

Math. Struct. Comput. Sci., 2019

Realizability in the Unitary Sphere.

Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2017

Ordered combinatory algebras and realizability.

Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel

Math. Struct. Comput. Sci., 2017

Classical realizability and arithmetical formulæ.

Mauricio Guillermo, Étienne Miquey

Math. Struct. Comput. Sci., 2017

2016

Specifying Peirce's law in classical realizability.

Mauricio Guillermo, Alexandre Miquel

Math. Struct. Comput. Sci., 2016

2008

Realizability Games in Arithmetical Formulae. (Jeux de Réalisabilité en Arithmétique Classique).

Mauricio Guillermo

PhD thesis, 2008