24 citations · 79 across the 15 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
Thomas Ehrhard, Claudia Faggian, Michele Pagani
We uncover a strong correspondence between Bayesian Networks and (Multiplicative) Linear Logic Proof-Nets, relating the two as a representation of a joint probability distribution…
cs.LO2024
A Rewriting Theory for Quantum Lambda-Calculus
Claudia Faggian, Gaetan Lopez, Benoît Valiron
Quantum lambda calculus has been studied mainly as an idealized programming language -- the evaluation essentially corresponds to a deterministic abstract machine. Very little work…