Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita QPCF: higher-order languages and quantum circuits. (English) Zbl 1468.68049 J. Autom. Reasoning 63, No. 4, 941-966 (2019). MSC: 68N15 81P65 81P68 PDFBibTeX XMLCite \textit{L. Paolini} et al., J. Autom. Reasoning 63, No. 4, 941--966 (2019; Zbl 1468.68049) Full Text: DOI arXiv
Gaboardi, Marco; Paolini, Luca; Piccolo, Mauro Linearity and PCF: a semantic insight! (English) Zbl 1323.68358 Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 372-384 (2011). MSC: 68Q55 03B70 68N18 68N30 PDFBibTeX XMLCite \textit{M. Gaboardi} et al., in: Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP '11, Tokyo, Japan, September 19--21, 2011. New York, NY: Association for Computing Machinery (ACM). 372--384 (2011; Zbl 1323.68358) Full Text: DOI