Thomas Leventis

On the Taylor Expansion of Probabilistic lambda-terms

Ugo Dal Lago, Thomas Leventis, Thomas Leventis, 2019, FSCD.

On the Taylor Expansion of Probabilistic λ-Terms (Long Version) pdf

Ugo Dal Lago, Thomas Leventis, Thomas Leventis, 2019, ArXiv.

Probabilistic Böhm Trees and Probabilistic Separation

Thomas Leventis, 2018, LICS.

Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces

Michele Pagani, Thomas Leventis, 2019, FoSSaCS.

Deep into Optimality Complexity and correctness of sharing implementation of bounded logics ( Extended abstract )

Marco Solieri, Stefano Guerrini, Thomas Leventis, 2012 .