3 papers
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
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…
cs.LO2024
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…