Champitoad/focalisation-classical-realizability

Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.

TeXMIT