@Inproceedings{EPTCS171.10,
author = {Maruyama, Yoshihiro},
year = {2014},
title = {Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures},
editor = {Coecke, Bob and Hoban, Matty},
booktitle = {{\rm Proceedings of the 10th International Workshop on}
Quantum Physics and Logic,
{\rm Castelldefels (Barcelona), Spain, 17th to 19th July 2013}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {171},
publisher = {Open Publishing Association},
pages = {100-112},
doi = {10.4204/EPTCS.171.10},
}