The following pages link to Sergey Slavnov (Q392295):
Displayed 18 items.
- Modeling linear logic with implicit functions (Q392296) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Coherent phase spaces. Semiclassical semantics (Q705538) (← links)
- Geometrical semantics for linear logic (multiplicative fragment) (Q2500490) (← links)
- From proof-nets to bordisms: the geometric meaning of multiplicative connectives (Q3371527) (← links)
- (Q3371957) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- On noncommutative extensions of linear logic (Q4972728) (← links)
- Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
- On embedding Lambek calculus into commutative categorial grammars (Q5103710) (← links)
- Making first order linear logic a generating grammar (Q6137829) (← links)
- Linear logic with idempotent exponential modalities: a note (Q6253368) (← links)
- Compactification of *-autonomous categories (Q6275541) (← links)
- On partial traces and compactification of $*$-autonomous Mix-categories (Q6276237) (← links)
- Classical linear logic, cobordisms and categorical semantics of categorial grammars (Q6307678) (← links)
- Abstract categorial grammars with island constraints and effective decidability (Q6322176) (← links)
- Classical linear logic, cobordisms and categorial grammars (Q6328878) (← links)
- Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure (Q6464025) (← links)