Joint distributions in probabilistic semantics

DOI10.46298/ENTICS.12279MaRDI QIDQ6831467zbMATH OpenFDO

Authors Dexter Kozen, Alexandra Silva, Erik Voogd

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.12279

zbMATH Keywords

Bayesian inferenceconditioningdisintegrationprobabilistic programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A categorical foundation for Bayesian probability
• Cantor meets Scott: semantic foundations for probabilistic networks
• Conditioning as disintegration
• Disintegration and compact measures.
• scientific article; zbMATH DE number 4004523 (Why is no real title available?)
• Labelled Markov processes.
• Nuclear and trace ideals in tensored \(^*\)-categories
• Stochastic Relations
• The existence of regular conditional probabilities: Necessary and sufficient conditions

This page was built for publication: Joint distributions in probabilistic semantics

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