- 3
- 1
NT
Nicolas Tabareau
4
Documents
Présentation
Publications
- 4
- 3
- 1
- 1
|
The Definitional Side of the ForcingLogics 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
|
|
Extending Type Theory with ForcingLICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
Communication dans un congrès
hal-00685150v1
|
Forcing in Coq2012
Autre publication scientifique
hal-00767483v1
|
|
Decomposing Logical Relations with Forcing2011
Pré-publication, Document de travail
hal-00585717v1
|