Bayesian strategies: probabilistic programs as generalised graphical models

DOI10.1007/978-3-030-72019-3_19zbMath1473.68054OpenAlexW3137954959MaRDI QIDQ2233478

Hugo Paquet

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-72019-3_19

Mathematics Subject Classification ID

Applications of game theory (91A80) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probabilistic graphical models (62H22)

Related Items (1)

A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distributed probabilistic and quantum strategies
• Linear logic
• Petri nets, event structures and domains. I
• The geometry of tensor calculus. I
• A game semantics for linear logic
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Continuous probability distributions in concurrent games
• Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
• Bayesian network semantics for Petri nets
• True-concurrency probabilistic models: Markov nets and a law of large numbers
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Event Structures with Symmetry
• Probabilistic π-Calculus and Event Structures
• A lambda-calculus foundation for universal probabilistic programming
• Commutative Semantics for Probabilistic Programming
• Thin Games with Symmetry and Concurrent Hyland-Ong Games
• Asynchronous Games: Innocence Without Alternation
• Partial Orders, Event Structures and Linear Strategies
• Premonoidal categories and notions of computation
• Game theoretic analysis of call-by-value computation
• Introduction to bicategories
• Causality vs. interleavings in concurrent game semantics
• Nondeterminism in Game Semantics via Sheaves
• The Parallel Intensionally Fully Abstract Games Model of PCF
• Concurrency and Probability
• The concurrent game semantics of Probabilistic PCF
• Concurrent Quantum Strategies
• Markov nets: probabilistic models for distributed and concurrent systems
• CONCUR 2004 - Concurrency Theory
• Games and Strategies as Event Structures

This page was built for publication: Bayesian strategies: probabilistic programs as generalised graphical models