Mauricio Guillermo



PÁGINA EN CONSTRUCCIÓN



Version française cliquez ici

English version clik here


Investigación

(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.

Vínculos relacionados

Réalisabilité à Chambéry #4 (2011)


Docencia

(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.