| |
| 2006 | ||
|---|---|---|
| 3 | EE | Sergey Slavnov: Geometrical semantics for linear logic (multiplicative fragment). Theor. Comput. Sci. 357(1-3): 215-229 (2006) |
| 2005 | ||
| 2 | EE | Sergey Slavnov: Coherent phase spaces. Semiclassical semantics. Ann. Pure Appl. Logic 131(1-3): 177-225 (2005) |
| 1 | EE | Sergey Slavnov: From proof-nets to bordisms: the geometric meaning of multiplicative connectives. Mathematical Structures in Computer Science 15(6): 1151-1178 (2005) |