24 citations · 79 across the 15 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
Rémi Di Guardia, Thomas Ehrhard, Claudia Faggian
Quantum Bayesian networks provide a mathematical formalism to describe causal relations, to analyse correlations, and to predict the probabilities of measurement outcomes, in syste…
cs.LO2026
Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
Rémi Di Guardia, Thomas Ehrhard, Jérôme Evrard +1
We study the correspondence between Bayesian Networks and graphical representation of proofs in linear logic. The goal of this paper is threefold: to develop a proof-theoretical ac…