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) |