- 1
- 1
NT
Nicolas Tabareau
2
Documents
Présentation
Publications
- 2
- 2
- 1
- 1
- 1
|
A Reasonably Gradual Type TheoryProceedings of the ACM on Programming Languages, In press
Article dans une revue
hal-03596652v2
|
|
The Multiverse: Logical Modularity for Proof Assistants2021
Pré-publication, Document de travail
hal-03324596v1
|