[EstudiantesMatemática]Curso de posgrado: lógica y programación

[Christophe Raffalli]

Salut,

Au fait, pourquoi dit-on Krivine's realizability?

Les premières utilisation d'orthogonalité, c'est la papier de 94 de 
Krivine, mais avant
il y a eu Parigot en 93, travail que Jean Louis connaissait. Ok, chez 
parigit c'était
des candidats de reductibility classique, mais c'est la même chose.

A+
Christophe