| Publication | Date of Publication | Type |
|---|
| Generalised Winograd Schema and its Contextuality | 2024-03-22 | Paper |
| Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality | 2023-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875343 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869705 | 2022-09-28 | Paper |
| Gaussianity and typicality in matrix distributional semantics | 2022-04-19 | Paper |
| Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract) | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018341 | 2021-12-15 | Paper |
| Pregroup grammars, their syntax and semantics | 2021-12-08 | Paper |
| Incremental composition in distributional semantics | 2021-10-25 | Paper |
| A Study of Entanglement in a Categorical Framework of Natural Language | 2021-06-29 | Paper |
| Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics | 2021-03-19 | Paper |
| Cyclic properties: from linear logic to pregroups | 2020-02-13 | Paper |
| Gaussianity and typicality in matrix distributional semantics | 2019-12-19 | Paper |
| Linguistic matrix theory | 2019-10-15 | Paper |
| A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction | 2019-06-26 | Paper |
| A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras | 2019-05-27 | Paper |
| Sentence entailment in compositional distributional semantics | 2018-07-20 | Paper |
| Non-commutative logic for compositional distributional semantics | 2017-12-20 | Paper |
| A Frobenius model of information structure in categorical compositional distributional semantics | 2017-12-18 | Paper |
| Open system categorical quantum semantics in natural language processing | 2017-07-11 | Paper |
| A Compositional Distributional Inclusion Hypothesis | 2017-02-22 | Paper |
| Context Update for Lambdas and Vectors | 2017-02-22 | Paper |
| Reasoning about meaning in natural language with compact closed categories and Frobenius algebras | 2016-12-20 | Paper |
| Bell states and negative sentences in the distributed model of meaning | 2016-10-07 | Paper |
| Classical knowledge for quantum security | 2016-10-07 | Paper |
| Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators | 2016-07-08 | Paper |
| Positive logic with adjoint modalities: proof theory, semantics and reasoning about information | 2016-05-10 | Paper |
| Distributional sentence entailment using density matrices | 2016-04-01 | Paper |
| Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators | 2015-09-17 | Paper |
| Semantic vector models and functional models for pregroup grammars | 2015-02-09 | Paper |
| Word order alternation in Sanskrit via precyclicity in pregroup grammars | 2014-06-02 | Paper |
| Semantic unification. A sheaf theoretic approach to natural language | 2014-05-08 | Paper |
| Modular games for coalgebraic fixed point logics | 2014-01-24 | Paper |
| Algebraic semantics and model completeness for intuitionistic public announcement logic | 2014-01-24 | Paper |
| Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus | 2013-12-19 | Paper |
| The algebra of multi-agent dynamic belief revision | 2013-10-07 | Paper |
| Algebra and sequent calculus for epistemic actions | 2013-09-25 | Paper |
| Algebraic semantics and model completeness for intuitionistic public announcement logic | 2011-10-19 | Paper |
| An adventure into Hungarian word order with cyclic pregroups | 2011-10-19 | Paper |
| Clitic movement in pregroup grammar: a cross-linguistic approach | 2011-07-29 | Paper |
| Experimenting with Transitive Verbs in a DisCoCat | 2011-07-15 | Paper |
| Learning in a changing world, an algebraic modal logical approach | 2011-01-21 | Paper |
| POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION | 2010-10-14 | Paper |
| A runs-and-systems semantics for logics of announcements | 2010-08-31 | Paper |
| Ockham's razor and reasoning about information flow | 2009-08-11 | Paper |
| Coalgebraic Epistemic Update Without Change of Model | 2009-03-10 | Paper |
| Epistemic Actions as Resources | 2007-12-12 | Paper |
