The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name.

Gianluca Curzi, Michele Pagani

Browse the full LICS paper archive.