Probabilistic Böhm Trees and Probabilistic Separation. - Thomas Leventis (LICS, 2018)

Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces. - Thomas Leventis; Michele Pagani (FoSSaCS, 2019)

On the Taylor Expansion of Probabilistic lambda-terms. - Ugo Dal Lago; Thomas Leventis (FSCD, 2019)

On the Taylor Expansion of Probabilistic λ-Terms (Long Version). - Ugo Dal Lago; Thomas Leventis (CoRR, 2019)

A deterministic rewrite system for the probabilistic λ-calculus. - Thomas Leventis (Math. Struct. Comput. Sci., 2019)