Journal Articles
Journal of Logical and Algebraic Methods in Programming
Year : 2015
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03189818
Submitted on : Monday, April 5, 2021-9:25:45 AM
Last modification on : Friday, March 24, 2023-2:53:21 PM
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