| 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 |
| https://portal.mardi4nfdi.de/entity/Q5019675 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5215769 | 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 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3093871 | 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 |
