2 citations · 2 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 2 cited
Probabilistic Soft Type Assignment
Gianluca Curzi, Luca Roversi
We model randomized complexity classes in the style of Implicit Computational Complexity. We introduce PSTA, a probabilistic version of STA, the type-theoretical counterpart of Sof…
cs.LO2020
The Benefit of Being Non-Lazy in Probabilistic λ-calculus
Gianluca Curzi, Michele Pagani
We consider the probabilistic applicative bisimilarity (PAB), a coinductive relation comparing the applicative behaviour of probabilistic untyped lambda terms according to a specif…