- 3
Thomas Seiller
3
Documents
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
|
A gentle introduction to Girard's Transcendental Syntax5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès
lirmm-03271496v1
|
|
Multiplicative linear logic from a resolution-based tile system2022
Pré-publication, Document de travail
hal-03725336v1
|
|
Multiplicative Linear Logic from Logic Programs and Tilings2021
Pré-publication, Document de travail
hal-02895111v3
|