@Inproceedings{EPTCS95.12, author = {Jacobs, Bart and Mandemaker, Jorik}, year = {2012}, title = {The Expectation Monad in Quantum Foundations}, editor = {Jacobs, Bart and Selinger, Peter and Spitters, Bas}, booktitle = {{\rm Proceedings 8th International Workshop on} Quantum Physics and Logic, {\rm Nijmegen, Netherlands, October 27-29, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {95}, publisher = {Open Publishing Association}, pages = {143-182}, doi = {10.4204/EPTCS.95.12}, }