scientific article; zbMATH DE number 7533341
From MaRDI portal
Publication:5079740
DOI10.4230/LIPICS.CSL.2018.16MaRDI QIDQ5079740FDOQ5079740
Hugo Paquet, Pierre Clairambault
Publication date: 28 May 2022
Title of this publication is not available (Why is that?)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On full abstraction for PCF: I, II and III
- Distributed probabilistic and quantum strategies
- Event structures with symmetry
- Asynchronous Games: Innocence Without Alternation
- Symmetry in concurrent games
- Not Enough Points Is Enough
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Probabilistic game semantics
- CPO's of measures for nondeterminism
- Innocent game models of untyped \(\lambda\)-calculus
- Weighted Relational Models of Typed Lambda-Calculi
- A lambda-calculus foundation for universal probabilistic programming
- Thin Games with Symmetry and Concurrent Hyland-Ong Games
- The Parallel Intensionally Fully Abstract Games Model of PCF
- The concurrent game semantics of Probabilistic PCF
- A deterministic rewrite system for the probabilistic λ-calculus
- Probabilistic Böhm Trees and Probabilistic Separation
Cited In (7)
- Title not available (Why is that?)
- The Benefit of Being Non-Lazy in Probabilistic λ-calculus
- A Type Theory for Probabilistic $$\lambda $$–calculus
- Zeta functions and the (linear) logic of Markov processes
- Towards a structural proof theory of probabilistic \(\mu\)-calculi
- Probabilistic approach to the lambda definability for fourth order types
- The geometry of Bayesian programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079740)
