Publications



Travaux en cours de soumission


[1] An Embellished Account of Agafonov’s Proof of Agafonov’s Theorem
Seiller, Thomas and Simonsen, Jakob Grue
2020

[2] Lower bounds for prams over Z
Pellissier, Luc and Seiller, Thomas
2020

[3] Probabilistic Complexity Classes through Semantics
Seiller, Thomas
2020

[4] Stellar Resolution: Multiplicatives
Eng, Boris and Seiller, Thomas
2020

[5] Zeta Functions and the (Linear) Logic of Markov Processes
Seiller, Thomas
2020