@article(AC,
 author       = "S. Abramsky and B. Coecke",
 year         = "2004",
 title        = "A categorical semantics of quantum protocols",
 journal      = "Proc. of LICS 2004",
 pages        = "1--24",
 doi          = "10.1016/b978-0-444-52869-8.50010-4",
)
@misc(Amb,
 author       = "S. Ambler",
 year         = "1991",
 title        = "First order linear logic and symmetric monoidal closed categories",
 note         = "PhD thesis, Edinburgh University",
)
@misc(BZ,
 author       = "G. Battilotti and P. Zizzi",
 year         = "2004",
 title        = "The internal logic of Bell's states",
 note         = "\url {http://arxiv.org/abs/0412199}",
)
@book(Bell,
 author       = "J. Bell",
 year         = "2005",
 title        = "Set Theory: Boolean-valued models and independence proofs",
 publisher    = "Oxford Univ. Press",
 doi          = "10.1093/acprof:oso/9780198568520.001.0001",
)
@incollection(DT,
 author       = "G. Dimov and W. Tholen",
 year         = "1989",
 title        = "A characterization of representable dualities",
 editor       = "J. Ad\'{a}mek and S. MacLane",
 booktitle    = "Categorical Topology and its Relations to Analysis, Algebra and Combinatorics",
 publisher    = "World Scientific Publishing, Teaneck, NJ",
 pages        = "336-357",
)
@article(FS,
 author       = "C. Faggian and G. Sambin",
 year         = "1998",
 title        = "From Basic Logic to Quantum Logics with Cut-Elimination",
 journal      = "International Journal of Theoretical Physics",
 volume       = "37",
 pages        = "31--37",
 doi          = "10.1023/A:1026652903971",
)
@misc(Frey,
 author       = "J. Frey",
 year         = "2011",
 title        = "A 2-Categorical Analysis of the Tripos-to-Topos Construction",
 note         = "\url {http://arxiv.org/abs/1104.2776}",
)
@book(GJKO,
 author       = "N. Galatos and P. Jipsen and T. Kowalski and H. Ono",
 year         = "2007",
 title        = "Residuated Lattices: An Algebraic Glimpse at Substructural Logics",
 publisher    = "Elsevier",
)
@article(HJ,
 author       = "C. Heunen and B. Jacobs",
 year         = "2010",
 title        = "Quantum logic in dagger kernel categories",
 journal      = "Order",
 volume       = "27",
 pages        = "177--212",
 doi          = "10.1007/s11083-010-9145-5",
)
@article(HJP,
 author       = "M. Hyland and P. T. Johnstone and A. Pitts",
 year         = "1980",
 title        = "Tripos theory",
 journal      = "Math. Proc. Cambridge Philos. Soc.",
 volume       = "88",
 pages        = "205--232",
 doi          = "10.1017/s0305004100057534",
)
@book(Jac,
 author       = "B. Jacobs",
 year         = "1999",
 title        = "Categorical Logic and Type Theory",
 publisher    = "Elsevier",
)
@article(Jacdual,
 author       = "B. Jacobs",
 year         = "2010",
 title        = "Convexity, Duality, and Effects",
 journal      = "Proc. of 6th IFIP TCS",
 pages        = "1--19",
 doi          = "10.1007/978-3-642-15240-5-1",
)
@misc(Jacnew,
 author       = "B. Jacobs",
 year         = "2012",
 title        = "New directions in categorical logic",
 note         = "\url {http://arxiv.org/abs/1205.3940}",
)
@book(Jo1,
 author       = "P. T. Johnstone",
 year         = "1982",
 title        = "Stone Spaces",
 publisher    = "Cambridge Univ. Press",
)
@book(Jo2,
 author       = "P. T. Johnstone",
 year         = "2002",
 title        = "Sketches of an Elephant: A Topos Theory Compendium",
 publisher    = "Oxford Univ. Press",
 doi          = "10.1017/s1079898600003462",
)
@book(LS,
 author       = "J. Lambek and P. J. Scott",
 year         = "1986",
 title        = "Introduction to Higher-Order Categorical Logic",
 publisher    = "Cambridge Univ. Press",
 doi          = "10.2307/2274784",
)
@article(Law1,
 author       = "F. W. Lawvere",
 year         = "1969",
 title        = "Adjointness in Foundations",
 journal      = "Dialectica",
 pages        = "281--296",
 doi          = "10.1111/j.1746-8361.1969.tb01194.x",
)
@article(Law2,
 author       = "F. W. Lawvere",
 year         = "1970",
 title        = "Equality in hyperdoctrines and comprehension scheme as an adjoint functor",
 journal      = "Application of Categorical Algebra",
 pages        = "1--14",
 doi          = "10.1090/pspum/017/0257175",
)
@article(M-APAL,
 author       = "Y. Maruyama",
 year         = "2010",
 title        = "Fundamental results for pointfree convex geometry",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "161",
 pages        = "1486--1501",
 doi          = "10.1016/j.apal.2010.05.002",
)
@misc(Marxx,
 author       = "Y. Maruyama",
 year         = "2013",
 title        = "From operational Chu duality to coalgebraic quantum symmetry",
 note         = "In Proc. of CALCO 2013",
 doi          = "10.1007/978-3-642-40206-7-17",
)
@misc(Mar,
 author       = "Y. Maruyama",
 year         = "2013",
 title        = "Full Lambek hyperdoctrine: categorical semantics for first-order substructural logics",
 note         = "In Proc. of WoLLIC 2013",
 doi          = "10.1007/978-3-642-39992-3-19",
)
@misc(Marx,
 author       = "Y. Maruyama",
 title        = "Categorical duality theory: domains, convexity, and the distribution monad",
 note         = "In preparation",
)
@article(Oza,
 author       = "M. Ozawa",
 year         = "2007",
 title        = "Transfer principle in quantum set theory",
 journal      = "J. Symbolic Logic",
 volume       = "72",
 pages        = "625--648",
 doi          = "10.2178/jsl/1185803627",
)
@incollection(Pit,
 author       = "A. Pitts",
 year         = "2000",
 title        = "Categorical Logic",
 editor       = "S. Abramsky and Dov. M. Gabbay and T. S. E. Maibaum",
 booktitle    = "Handbook of Logic in Computer Science",
 publisher    = "Oxford Univ. Press",
)
@article(PT,
 author       = "H.-E. Porst and W. Tholen",
 year         = "1991",
 title        = "Concrete dualities",
 journal      = "Category Theory at Work",
 pages        = "111--136",
)
@article(Tak,
 author       = "G. Takeuti",
 year         = "1981",
 title        = "Quantum set theory",
 journal      = "Current Issues in Quantum Logic",
 pages        = "303--322",
 doi          = "10.1007/978-1-4613-3228-2-19",
)
@book(Vel,
 author       = "M. L. J. van de Vel",
 year         = "1993",
 title        = "Theory of Convex Structures",
 publisher    = "North-Holland",
)
@article(Zizzi,
 author       = "P. Zizzi",
 year         = "2007",
 title        = "Basic logic and quantum entanglement",
 journal      = "J. Phys.: Conf. Ser.",
 volume       = "67",
 number       = "012045",
 doi          = "10.1088/1742-6596/67/1/012045",
)