Jean Goubault-Larrecq. Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases.
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2015, 84 (1), pp.155-184.
⟨10.1016/j.jlamp.2014.09.003⟩.
⟨hal-03189818⟩