Accéder directement au contenu
NT

Nicolas Tabareau

4
Documents

Présentation

Publications

763312
Image document

The Definitional Side of the Forcing

Guilhem Jaber , Gabriel Lewertowski , Pierre-Marie Pédrot , Matthieu Sozeau , Nicolas Tabareau
Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩
Communication dans un congrès hal-01319066v1
Image document

Extending Type Theory with Forcing

Guilhem Jaber , Nicolas Tabareau , Matthieu Sozeau
LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
Communication dans un congrès hal-00685150v1