234 citations · 235 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 234 cited
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
Dongho Lee, Valentin Perrelle, Benoît Valiron +1
In this paper, we introduce dynamic lifting to a quantum circuit-description language, following the Proto-Quipper language approach. Dynamic lifting allows programs to transfer th…
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…