Skip to Main content Skip to Navigation
Journal articles

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

Jean Goubault-Larrecq 1
1 LSV - Laboratoire Spécification et Vérification
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-03189818
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 5, 2021 - 9:25:45 AM
Last modification on : Wednesday, April 7, 2021 - 3:35:15 AM

Links full text

openaccess

Identifiers

Collections

CNRS | ENS-CACHAN | ENS-PARIS-SACLAY

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

25

 

Contact                    Legal Notice                    Personal Data