A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
From MaRDI portal
Publication:2039896
DOI10.1007/978-3-030-52482-1_9OpenAlexW3046635395MaRDI QIDQ2039896
Peter Selinger, Neil J. Ross, Peng Fu, Kohei Kishida
Publication date: 5 July 2021
Full work available at URL: https://arxiv.org/abs/2005.08396
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)
Related Items
Linear Dependent Type Theory for Quantum Programming Languages, Software science view on quantum circuit algorithms
Uses Software