From the 1 of 4 linked papers with an AI index.
4 papers
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…
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco +1
We revisit sequentialization proofs associated with the Danos-Regnier correctness criterion in the theory of proof nets of linear logic. Our approach relies on a generalization of…
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…
Type Isomorphisms for Multiplicative-Additive Linear Logic
Rémi Di Guardia, Olivier Laurent
We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for t…