[Abr] Samson Abramsky. Temperley-lieb algebra: From knot theory to logic and computation via quantum mechanics. In Goong Chen, Louis Kauffman, and Sam Lomonaco, editors, Mathematics of Quantum Computing and Technology, pages 415-458. Taylor and Francis, 2007.

[Bir] Garrett Birkhoff. Lattice Theory. American Mathematical Society, 1948.

[Bor] Francis Borceux. Handbook of Categorical Algebra 1: Basic Category Theory. Encyclopedia of Mathematics and its Applications 50. Cambridge University Press, 1994.

[But] Carsten Butz. Regular categories and regular logic. BRICS Lecture Series LS-98-2, 1998.

[BV] Garrett Birkhoff and John Von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823-843, 1936.

[Dun] Ross Duncan. Types for Quantum Computing. PhD thesis, Oxford University Computer Laboratory, 2006.

[Har] John Harding. Orthomodularity in dagger biproduct categories. submitted to International Journal of Theoretical Physics, 2008.

[Heu] Chris Heunen. An embedding theorem for Hilbert categories. submitted to Theory and Applications of Categories, 2008. [OpenAIRE]

[Jac] B. Jacobs. Categorical Logic and Type Theory. Number 141 in Studies in Logic and the Foundations of Mathematics. North Holland, 1999.

[LS] Joachim Lambek and Phil Scott. Introduction to higher order categorical logic. Cambridge University Press, 1986.

[Pal] Paul H. Palmquist. Adjoint functors induced by adjoint linear transformations. Proceedings of the American Mathematical Society, 44(2):251-254, 1974.

[Sel] Peter Selinger. Idempotents in dagger categories. In QPL 2006, pages 87-101, 2006.