  We use traced monoidal categories to give a precise general version of
"geometry of interaction". We give a number of examples of both
"particle-style" and "wave-style" instances of this construction. We relate
these ideas to semantics of computation.

Logic in Computer Science