/focalisation-classical-realizability

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

Primary LanguageTeXMIT LicenseMIT

No issues in this repository yet.