%0 Journal Article
%T QPCF: Higher-Order Languages and Quantum Circuits
%A Paolini, Luca
%A Piccolo, Mauro
%A Zorzi, Margherita
%J Journal of Automated Reasoning
%V 63
%N 4
%P 941-966
%@ 0168-7433
%D 2019-03-13
%I Springer Netherlands
%~ DeepDyve