35 citations · 87 across the 11 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021
Proceedings 17th International Conference on Quantum Physics and Logic
Benoît Valiron, Shane Mansfield, Pablo Arrighi +1
This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, 2020. Quantum Physics and Logic is an an…
cs.LO2021
Reasoning about Recursive Quantum Programs
Zhaowei Xu, Mingsheng Ying, Benoît Valiron
Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple…
cs.LO2021
An Interactive Proof of Termination for a Concurrent -calculus with References and Explicit Substitutions
Yann Hamdaoui, Benoît Valiron
In this paper we introduce a typed, concurrent -calculus with references featuring explicit substitutions for variables and references. Alongside usual safety properties, we rec…