TY  - RPRT
TI  - A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
AU  - Peng Fu
AU  - Kohei Kishida
AU  - Neil J. Ross
AU  - Peter Selinger
PY  - 2020
DO  - 10.1007/978-3-030-52482-1_9
UR  - https://arxiv.org/abs/2005.08396
ID  - 2005.08396
ER  -