Mauricio Guillermo
Versión en español pulse aquí
Version française cliquez ici
(2011) M. Guillermo, A. Miquel. Specifying Peirce's Law in Classical Realizability Submitted to Mathematical Structures in Computer Science.
(2011) Project ANII,
Clemente Estable Found,
Classical Realizability, Cathegories and Games Theory
(2008)
M. Guillermo
Realizability Games in
Arithmetical Formulæ (PhD thesis)
Paris 7
University. PPS
team. Advisor:
Jean-Louis Krivine.
Réalisabilité à Chambéry #4 (2011)
(2010) Introducción a la Computación.(course for math's degree).