Physics, Topology, Logic and Computation: A Rosetta Stone (2009)

by John C. Baez , Mike Stay
Citations:6 - 1 self

Documents Related by Co-Citation

2467 Time, Clocks, and the Ordering of Events in a Distributed System – Leslie Lamport - 1978
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
669 Light Linear Logic – Jean-yves Girard
27 Interacting quantum observables – Bob Coecke, Ross Duncan - 2008
16 and Bob Coecke [2004] “A categorical semantics of quantum protocols – Samson Abramsky
296 The logic of quantum mechanics – G Birkhoff, J von Neumann - 1936
157 The geometry of tensor calculus – A Joyal, R Street - 1991
146 Higher-dimensional algebra and topological quantum field theory – John C. Baez, James Dolan - 1995
120 Coherence for compact closed categories – Max Kelly, Miguel L Laplaza - 1980