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

by John C. Baez , Mike Stay
Citations:2 - 0 self

Documents Related by Co-Citation

18 Interacting quantum observables – B Coecke, R Duncan - 2008
5 State-transition structures in physics and in computation – C A Petri - 1982
3 A domain of spacetime intervals in general relativity – K Martin, P Panangaden - 2004
1 Paquette (2009) A categorical presentation of quantum computation with anyons – P Panangaden, E O
1 2006) Not Even Wrong. Jonathan Cape – P Woit
1 and Cloisters (CKC) conference, organized by Bob Coecke – Kets Cats - 2006
1 Logic and Foundations of Physics (CLAP) workshop series, organized by Bob Coecke and Andreas Döring, Imperial College and Oxford, started 2008. http://categorieslogicphysics.wikidot.com – Categories
1 Concepts (CQC), organized by Bob Coecke, Andreas Döring and – Quanta Categories - 2009
3 Solid-State and Molecular Theory: A Scientific Biography – J C Slater - 1975
178 Outline of a mathematical theory of computation – D Scott - 1970
32 Clock And Category: Is Quantum Gravity Algebraic? – Louis Crane - 1995
14 Topological quantum field theory, Publications Mathmatiques de l’IH – M F Atiyah - 1988
2 The Trouble with Physics Houghton-Mifflin – L Smolin - 2006
2115 Clocks and the Ordering of Events in a Distributed System – L Time Lamport - 1978
115 Higher-dimensional algebra and topological quantum field theory – John C. Baez, James Dolan - 1995
119 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
3 Classical and quantum structures – B Coecke, E O Paquette, D Pavlovic - 2007
2 2009) Graph states and the necessity of Euler decomposition – Ross Duncan, Simon Perdrix
4 2004) Composing PROPs. Theory and Applications of Categories 13 – S Lack