Thomas Leventis

According to our database, Thomas Leventis authored at least 5 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

A deterministic rewrite system for the probabilistic λ-calculus.

Thomas Leventis

Math. Struct. Comput. Sci., 2019

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

Ugo Dal Lago, Thomas Leventis

CoRR, 2019

On the Taylor Expansion of Probabilistic lambda-terms.

Ugo Dal Lago, Thomas Leventis

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces.

Thomas Leventis, Michele Pagani

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Probabilistic Böhm Trees and Probabilistic Separation.

Thomas Leventis

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018