works on
bayesian networks 1compositional semantics 1linear logic 1proof nets 1quantum information 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.LO2026

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic

Rémi Di Guardia, Thomas Ehrhard, Claudia Faggian

The paper introduces a compositional and typed framework for quantum Bayesian networks using linear logic proof‑nets, showing that it matches classical Bayesian semantics when caus…