- 1
- 1
- 1
- 1
Thomas Seiller
4
Documents
Publications
- 1
- 1
- 1
- 4
- 4
|
Unifying lower bounds for algebraic machines, semantically2024
Pré-publication, Document de travail
hal-01921942v5
|
|
Zeta Functions and the (Linear) Logic of Markov Processes2024
Pré-publication, Document de travail
hal-02458330v6
|
|
Implicit complexity through linear realisability: polynomial time and probabilistic classes2023
Pré-publication, Document de travail
hal-02458358v2
|
|
Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution2022
Pré-publication, Document de travail
hal-02993635v3
|