@inproceedings{DBLP:conf/lics/HuotS19, title = "Quantum channels as a categorical completion", author = "Mathieu Huot and Sam Staton", year = "2019", booktitle = "34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019", pages = "1--13", publisher = "{IEEE}", url = "https://doi.org/10.1109/LICS.2019.8785700", doi = "10.1109/LICS.2019.8785700", }