@Inproceedings{EPTCS318.11, author = {Tull, Sean}, year = {2020}, title = {Deriving Dagger Compactness}, editor = {Coecke, Bob and Leifer, Matthew}, booktitle = {{\rm Proceedings 16th International Conference on} Quantum Physics and Logic, {\rm Chapman University, Orange, CA, USA., 10-14 June 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {318}, publisher = {Open Publishing Association}, pages = {181-195}, doi = {10.4204/EPTCS.318.11}, }