TY  - RPRT
TI  - Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic
AU  - Mohamed Yousri Mahmoud
AU  - Amy P. Felty
PY  - 2018
UR  - https://arxiv.org/abs/1812.03624
ID  - 1812.03624
ER  -