Physics, Topology, Logic and Computation: A Rosetta Stone

This has been around for a while in the draft form, but now there's a (re)post on Lambda the Ultimate for the forthcoming book(?):

Physics, Topology, Logic and Computation: A Rosetta Stone
John C. Baez and Mike Stay, 2009.

Mentioned in the discussions are two other papers linked here:

• A survey of graphical languages for monoidal
  categories Peter Selinger Dalhousie University
  
• Categories for the practising physicist Bob Coecke and Eric Oliver Paquette