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

Specifying Peirce's law in classical realizability. - Mauricio Guillermo; Alexandre Miquel (Math. Struct. Comput. Sci., 2016)

Classical realizability and arithmetical formulæ. - Mauricio Guillermo; Étienne Miquey (Math. Struct. Comput. Sci., 2017)

Ordered combinatory algebras and realizability. - Walter Ferrer Santos; Jonas Frey; Mauricio Guillermo; Octavio Malherbe; Alexandre Miquel (Math. Struct. Comput. Sci., 2017)

Realizability in the Unitary Sphere. - Alejandro Díaz-Caro; Mauricio Guillermo; Alexandre Miquel; Benoît Valiron (LICS, 2019)

Realizability in ordered combinatory algebras with adjunction. - Walter Ferrer Santos; Mauricio Guillermo; Octavio Malherbe (Math. Struct. Comput. Sci., 2019)

Concurrent Realizability on Conjunctive Structures. - Emmanuel Beffara; Félix Castro; Mauricio Guillermo (CoRR, 2021)

Concurrent Realizability on Conjunctive Structures. - Emmanuel Beffara; Félix Castro; Mauricio Guillermo; Étienne Miquey (FSCD, 2023)