Fooling the Parallel or Tester with Probability 8/27

DOI10.1007/978-3-030-31175-9_18MaRDI QIDQ6489030zbMATH OpenFDO

Authors Jean Goubault-Larrecq

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-31175-9_18

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Full abstraction for probabilistic PCF
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• The concurrent game semantics of probabilistic PCF
• Probabilistic call by push value

Cited in

(1)

• (Towards a) statistical probabilistic lazy lambda calculus

This page was built for publication: Fooling the Parallel or Tester with Probability 8/27

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489030)