Share  Bookmark

 Download from


[Abr] Samson Abramsky. Temperleylieb 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 415458. 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 LS982, 1998.
[BV] Garrett Birkhoff and John Von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823843, 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.
[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.