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

Thomas Leventis, Michele Pagani

Browse the full FOSSACS paper archive.