Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2015

Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases

Dates and versions

hal-03189818 , version 1 (05-04-2021)

Identifiers

Cite

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, 2015, 84 (1), pp.155-184. ⟨10.1016/j.jlamp.2014.09.003⟩. ⟨hal-03189818⟩
30 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More