Coherent phase spaces. Semiclassical semantics. - Sergey Slavnov (Ann. Pure Appl. Log., 2005)

From proof-nets to bordisms: the geometric meaning of multiplicative connectives. - Sergey Slavnov (Math. Struct. Comput. Sci., 2005)

Geometrical semantics for linear logic (multiplicative fragment). - Sergey Slavnov (Theor. Comput. Sci., 2006)

Deep Inference and Probabilistic Coherence Spaces. - Richard Blute; Prakash Panangaden; Sergey Slavnov (Appl. Categorical Struct., 2012)

Modeling linear logic with implicit functions. - Sergey Slavnov (Ann. Pure Appl. Log., 2014)

Linear logic with idempotent exponential modalities: a note. - Sergey Slavnov (CoRR, 2014)

On partial traces and compactification of *-autonomous Mix-categories. - Sergey Slavnov (CoRR, 2016)

Noncommutative coherence spaces for full linear logic. - Sergey Slavnov (CoRR, 2018)

Commutative linear logic as a multiple context-free grammar. - Sergey Slavnov (CoRR, 2018)

Classical linear logic, cobordisms and categorial grammars. - Sergey Slavnov (CoRR, 2019)

On noncommutative extensions of linear logic. - Sergey Slavnov (Log. Methods Comput. Sci., 2019)

On Banach spaces of sequences and free linear logic exponential modality. - Sergey Slavnov (Math. Struct. Comput. Sci., 2019)

Cobordisms and commutative categorial grammars. - Sergey Slavnov (CoRR, 2021)

First order linear logic and tensor type calculus for categorial grammars. - Sergey Slavnov (CoRR, 2021)

Linear logic in normed cones: probabilistic coherence spaces and beyond. - Sergey Slavnov (Math. Struct. Comput. Sci., 2021)

On embedding Lambek calculus into commutative categorial grammars. - Sergey Slavnov (J. Log. Comput., 2022)

Making first order linear logic a generating grammar. - Sergey Slavnov (Log. Methods Comput. Sci., 2023)