Thomas Seiller

4

Documents

Publications

147002

	Unifying lower bounds for algebraic machines, semantically Thomas Seiller , Luc Pellissier , Ulysse Léchine Information and Computation, 2024, 301, pp.105232. ⟨10.1016/j.ic.2024.105232⟩ Journal articles hal-01921942v7
	Zeta Functions and the (Linear) Logic of Markov Processes Thomas Seiller Logical Methods in Computer Science, 2024, Volume 20 (3), ⟨10.46298/lmcs-20(3:18)2024⟩ Journal articles hal-02458330v6

	Implicit complexity through linear realisability: polynomial time and probabilistic classes Thomas Seiller 2023 Preprints, Working Papers, ... hal-02458358v2
	Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution Thomas Seiller , Jakob Grue Simonsen 2022 Preprints, Working Papers, ... hal-02993635v3