Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Intuitionistic Unitary Linear Logic: A Proof-Theoretical Approach to Purely Quantum Higher-Order
Julien Lamiroy, Benoît Valiron, Renaud Vilmart
Although the circuit model for quantum computation is well established, it is incapable of representing non-causal higher-order quantum processes such as the quantum switch. If sev…
cs.LO2025
The Tensor-Plus Calculus
Kostia Chardonnet, Marc de Visme, Benoît Valiron +1
We propose a graphical language that accommodates two monoidal structures: a multiplicative one for pairing and an additional one for branching. In this colored PROP, whether wires…
cs.LO2024
Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
Vítor Fernandes, Marc de Visme, Benoît Valiron
In this paper, we consider event structures and their probabilistic and quantum extensions as originally defined by Winskel. If these structures have already been part of sophistic…