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

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

Documents Related by Co-Citation

38 Interacting quantum observables – Bob Coecke, Ross Duncan - 2008
18 Coecke (2004): A categorical semantics of quantum protocols – S Abramsky, B
2697 Time, Clocks, and the Ordering of Events in a Distributed System – Leslie Lamport - 1978
1090 Categories for the Working Mathematician – Mac Lane, S - 2000
1134 Term Rewriting and All That – F Baader, T Nipkow - 1998
1047 Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer – Peter W. Shor - 1997
519 Teleporting an Unknown Quantum State via Dual Classical and EPR Channels – Charles H. Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, William K. Wootters - 1993
731 Light Linear Logic – Jean-yves Girard
175 The geometry of tensor calculus – André Joyal, Ross Street - 1991