Fibred Coalgebraic Logic and Quantum Protocols
D. Marsden
Book Title
Proceedings of the 10th International Workshop on Quantum Physics and Logic‚ QPL 2013‚ Castelldefels (Barcelona)‚ Spain‚ July 17−19‚ 2013
Editor
B. Coecke and M. J. Hoban
Pages
90–99
Series
EPTCS
Volume
171
Year
2014