@Inproceedings{EPTCS195.10, author = {Cho, Kenta and Jacobs, Bart and Westerbaan, Bas and Westerbaan, Bram}, year = {2015}, title = {Quotient-Comprehension Chains}, editor = {Heunen, Chris and Selinger, Peter and Vicary, Jamie}, booktitle = {{\rm Proceedings of the 12th International Workshop on} Quantum Physics and Logic, {\rm Oxford, U.K., July 15-17, 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {195}, publisher = {Open Publishing Association}, pages = {136-147}, doi = {10.4204/EPTCS.195.10}, }