234 citations · 234 across the 1 of their papers we have counts for
2 papers
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.PL2020
A Deductive Verification Framework for Circuit-building Quantum Programs
Christophe Chareton, Sébastien Bardin, François Bobot +2
While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of su…