- 2
Thomas Seiller
2
Documents
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
|
Linear realisability over nets and second order quantificationTrends in Linear Logic and Applications, Jul 2023, Rome, Italy
Communication dans un congrès
hal-04131640v1
|
|
Linear realisability on untyped nets2024
Pré-publication, Document de travail
hal-04432854v1
|