@misc{indiciae54dec55e6214,
  title = {Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic},
  author = {Mohamed Yousri Mahmoud and Amy P. Felty},
  year = {2018},
  url = {https://arxiv.org/abs/1812.03624},
  note = {Source identifier: 1812.03624}
}