Sergey Slavnov, From proof-nets to bordisms: the geometric meaning of multiplicative connectives, Mathematical Structures in Computer Science / Volume 15 / Issue 06 / December 2005, pp 1151 - 1178.

Sergey Slavnov, Geometrical semantics for linear logic (multiplicative fragment), Theoretical Computer Science 357, no. 1–3 (2006) 215–229 doi

Sergey Slavnov, Coherent phase spaces. Semiclassical semantics, Annals of Pure and Applied Logic