1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes
Kathleen Barsse, Romain Péchoux, Simon Perdrix
Processes with indefinite causal orders (ICOs), such as the quantum switch, are higher-order quantum processes that superpose the order in which quantum operations are performed. S…
Quantum Control and General Recursion beyond the Unitary Case
Kathleen Barsse, Romain Péchoux, Simon Perdrix
Coherent control, aka quantum control, is a central concept in quantum computing that is attracting increasing attention from both the quantum foundations and quantum software comm…
Towards Term-based Verification of Diagrammatic Equivalence
Julie Cailler, Noé Delorme, Simon Perdrix +1
A string diagram is a two-dimensional graphical representation that can be described as a one-dimensional term generated from a set of primitives using sequential and parallel comp…