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

[Christophe Raffalli]

Hello,

Sorry, this mail was for Alexandre. Wrong button.

Regards,
Christophe


On 2017-08-31 17:13, Christophe Raffalli wrote:
> 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