TY  - RPRT
TI  - Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
AU  - Rémi Di Guardia
AU  - Thomas Ehrhard
AU  - Jérôme Evrard
AU  - Claudia Faggian
PY  - 2026
UR  - https://arxiv.org/abs/2602.04045
ID  - 2602.04045
ER  -