| Publication | Date of Publication | Type |
|---|
Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
(available as arXiv preprint) | 2025-01-01 | Paper |
Making first order linear logic a generating grammar
Logical Methods in Computer Science | 2024-01-16 | Paper |
| Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure | 2023-12-18 | Paper |
On embedding Lambek calculus into commutative categorial grammars
Journal Of Logic And Computation | 2022-09-08 | Paper |
Linear logic in normed cones: probabilistic coherence spaces and beyond
Mathematical Structures in Computer Science | 2022-05-17 | Paper |
On noncommutative extensions of linear logic
(available as arXiv preprint) | 2019-11-26 | Paper |
| Classical linear logic, cobordisms and categorial grammars | 2019-11-10 | Paper |
| Abstract categorial grammars with island constraints and effective decidability | 2019-07-16 | Paper |
On Banach spaces of sequences and free linear logic exponential modality
Mathematical Structures in Computer Science | 2019-01-17 | Paper |
WITHDRAWN: Abstract categorial grammars with island constraints and effective decidability
(available as arXiv preprint) | 2019-01-01 | Paper |
Classical linear logic, cobordisms and categorial grammars
(available as arXiv preprint) | 2019-01-01 | Paper |
| Classical linear logic, cobordisms and categorical semantics of categorial grammars | 2018-10-04 | Paper |
Classical linear logic, cobordisms and categorical semantics of categorial grammars
(available as arXiv preprint) | 2018-01-01 | Paper |
| On partial traces and compactification of *-autonomous Mix-categories | 2016-08-04 | Paper |
| Compactification of *-autonomous categories | 2016-07-13 | Paper |
WITHDRAWN: Compactification of *-autonomous categories
(available as arXiv preprint) | 2016-01-01 | Paper |
On partial traces and compactification of $*$-autonomous Mix-categories
(available as arXiv preprint) | 2016-01-01 | Paper |
| Linear logic with idempotent exponential modalities: a note | 2014-07-22 | Paper |
Modeling linear logic with implicit functions
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Linear logic with idempotent exponential modalities: a note
(available as arXiv preprint) | 2014-01-01 | Paper |
Deep inference and probabilistic coherence spaces
Applied Categorical Structures | 2012-09-20 | Paper |
Geometrical semantics for linear logic (multiplicative fragment)
Theoretical Computer Science | 2006-08-16 | Paper |
| On completeness of dynamic topological logic | 2006-02-22 | Paper |
From proof-nets to bordisms: the geometric meaning of multiplicative connectives
Mathematical Structures in Computer Science | 2006-02-21 | Paper |
Coherent phase spaces. Semiclassical semantics
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
