Mauricio Guillermo
Version française cliquez ici
English version clik here
(2011) M. Guillermo, A. Miquel. Specifying Peirce's Law in Classical Realizability En arbitraje en Mathematical Structures in Computer Science.
(2011) Responsable del proyecto ANII, Fondo Clemente Estable,
Realizabilidad Clásica Categorías y Teoría de Juegos
(2008)
M. Guillermo
Realizability Games in
Arithmetical Formulæ (tesis de doctorado)
Universidad Paris
7. Equipo PPS . Director de tesis:
Jean-Louis Krivine.
Réalisabilité à Chambéry #4 (2011)
(2010) Curso de Introducción a la Computación para la licenciatura en matemática.
Mauricio Guillermo,
Centro de Matemática
Facultad de Ciencias
Universidad de la
República.