@misc{indiciae43c8acf1b2e0,
  title = {On Abstract Machine Semantics for Proto-Quipper-M},
  author = {Andrea Colledan},
  year = {2021},
  url = {https://arxiv.org/abs/2105.03522},
  note = {Source identifier: 2105.03522}
}