TY  - RPRT
TI  - Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
AU  - Thomas Ehrhard
AU  - Claudia Faggian
AU  - Michele Pagani
PY  - 2024
UR  - https://arxiv.org/abs/2412.20540
ID  - 2412.20540
ER  -