Abstract physical traces. Theory and Applications of Categories 14 (2005)

by S Abramsky, B Coecke