Mauricio Guillermo
Versión en español pulse aquí
English Version click here
(2011) M. Guillermo, A. Miquel. Specifying Peirce's Law in Classical Realizability Soumis à Mathematical Structures in Computer Science.
(2011) Projet ANII,
Fond Clemente Estable,
Realisabilité classique,
cathégories et théorie de jeux
(2008)
M. Guillermo
Realizability Games in
Arithmetical Formulæ (Thèse de doctorat)
Paris 7
University. Équipe
PPS.
Directeur:
Jean-Louis Krivine.
Réalisabilité à Chambéry #4 (2011)
(2010) Introducción a la Computación.(cours de la license en maths).