collaborators

1 paper

cs.LO2026

Expectation-based Analysis of Higher-Order Quantum Programs

Martin Avanzini, Alejandro Díaz-Caro, Emmanuel Hainry +1

The paper extends the expectation transformer based analysis of higher-order probabilistic programs to the quantum higher-order setting. The quantum language we are considering can…