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

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

Active Bibliography

3 To appear in Structural Foundations of Quantum Gravity, – John C. Baez, Steven French, Dean Rickles, Juha Saatsi, Oxford U. Press - 2004
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
Mike Stay – A Rosetta Stone, John C. Baez, Amphitheatre Pkwy - 2008
1 A PREHISTORY OF n-CATEGORICAL PHYSICS – John C. Baez, Aaron Lauda - 2008
Quantum picturalism – Bob Coecke - 2009
6 An Australian conspectus of higher categories – Ross Street - 2004
2 Categories for the practising physicist – Bob Coecke, Éric Oliver Paquette
A quantum double construction in Rel – Masahito Hasegawa - 2010
37 A survey of graphical languages for monoidal categories – Peter Selinger
Contents – Peter Selinger
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
12 Simple free star-autonomous categories and full coherence – Dominic J. D. Hughes - 2005
49 A lambda calculus for quantum computation – André Van Tonder
3 The Development of Categorical Logic – John L. Bell
5 A COMBINATORY ACCOUNT OF INTERNAL STRUCTURE – Barry Jay, Thomas Given-wilson
unknown title – Bob Coecke, Éric Oliver Paquette - 2007
2 Topological-Like Features in Diagrammatical Quantum Circuits – Yong Zhang, Louis H. Kauffman - 2007
6 POVM and Naimark's theorem without sums – Bob Coecke, Eric Oliver Paquette
Abstract – Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden - 2008