TY  - RPRT
TI  - Linear Dependent Type Theory for Quantum Programming Languages
AU  - Peng Fu
AU  - Kohei Kishida
AU  - Peter Selinger
PY  - 2022
DO  - 10.46298/lmcs-18(3:28)2022
UR  - https://arxiv.org/abs/2004.13472
ID  - 2004.13472
ER  -