50 citations · 180 across the 26 of their papers we have counts for
3 papers · 1 filter
Proceedings of the 21st International Conference on Quantum Physics and Logic
Alejandro Díaz-Caro, Vladimir Zamdzhiev
This volume contains the proceedings of the 21st International Conference on Quantum Physics and Logic (QPL 2024), which was held from July 15th to 19th, 2024, in Buenos Aires, Arg…
Proceedings of the Twentieth International Conference on Quantum Physics and Logic
Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev
This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023). The aim of the QPL conference series is to bring together academi…
Quantum Expectation Transformers for Cost Analysis
Martin Avanzini, Georg Moser, Romain Péchoux +2
We introduce a new kind of expectation transformer for a mixed classical-quantum programming language. Our semantic approach relies on a new notion of a cost structure, which we in…