Login / Signup
Thomas Leventis
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 5
Top Topics
Uncertain Data
Decomposable Negation Normal Form
Probabilistic Approaches
Bayesian Networks
Top Venues
FoSSaCS
CoRR
Math. Struct. Comput. Sci.
LICS
</>
Publications
</>
Thomas Leventis
,
Michele Pagani
Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces.
FoSSaCS
(2019)
Ugo Dal Lago
,
Thomas Leventis
On the Taylor Expansion of Probabilistic λ-Terms (Long Version).
CoRR
(2019)
Ugo Dal Lago
,
Thomas Leventis
On the Taylor Expansion of Probabilistic lambda-terms.
FSCD
(2019)
Thomas Leventis
A deterministic rewrite system for the probabilistic λ-calculus.
Math. Struct. Comput. Sci.
29 (10) (2019)
Thomas Leventis
Probabilistic Böhm Trees and Probabilistic Separation.
LICS
(2018)