- 4
- 1
- 1
- 1
Thomas Seiller
7
Documents
Publications
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 7
- 4
|
Linear realisability over nets and second order quantificationTrends in Linear Logic and Applications, Jul 2023, Rome, Italy
Communication dans un congrès
hal-04131640v1
|
|
Simplifying normal functors: an old and a new model of λ-calculus2024
Pré-publication, Document de travail
hal-04500078v1
|
|
Linear realisability on untyped nets2024
Pré-publication, Document de travail
hal-04432854v1
|
|
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
|