| Publication | Date of Publication | Type |
|---|
| Developments in sheaf-theoretic models of natural language ambiguities | 2025-09-03 | Paper |
| The causal structure of semantic ambiguities | 2025-08-19 | Paper |
| Lambek calculus with banged atoms for parasitic gaps | 2025-01-31 | Paper |
Generalised Winograd Schema and its Contextuality
Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
Compositionality | 2023-10-05 | Paper |
| scientific article; zbMATH DE number 7649886 (Why is no real title available?) | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7594240 (Why is no real title available?) | 2022-09-28 | Paper |
Gaussianity and typicality in matrix distributional semantics
Annales de l'Institut Henri Poincaré D. Combinatorics, Physics and their Interactions (AIHPD) | 2022-04-19 | Paper |
| Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract) | 2022-01-10 | Paper |
Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
(available as arXiv preprint) | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7446382 (Why is no real title available?) | 2021-12-15 | Paper |
Pregroup grammars, their syntax and semantics
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
Incremental composition in distributional semantics
Journal of Logic, Language and Information | 2021-10-25 | Paper |
| A Study of Entanglement in a Categorical Framework of Natural Language | 2021-06-29 | Paper |
A Study of Entanglement in a Categorical Framework of Natural Language
(available as arXiv preprint) | 2021-06-29 | Paper |
Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics
(available as arXiv preprint) | 2021-03-19 | Paper |
| Cyclic properties: from linear logic to pregroups | 2020-02-13 | Paper |
Gaussianity and typicality in matrix distributional semantics
(available as arXiv preprint) | 2019-12-19 | Paper |
Linguistic matrix theory
Annales de l'Institut Henri Poincaré D. Combinatorics, Physics and their Interactions (AIHPD) | 2019-10-15 | Paper |
A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction
Journal of Logic, Language and Information | 2019-06-26 | Paper |
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
Mathematical Structures in Computer Science | 2019-05-27 | Paper |
Sentence entailment in compositional distributional semantics
Annals of Mathematics and Artificial Intelligence | 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 |
A Frobenius model of information structure in categorical compositional distributional semantics
(available as arXiv preprint) | 2017-12-18 | Paper |
Open system categorical quantum semantics in natural language processing
(available as arXiv preprint) | 2017-07-11 | Paper |
A Compositional Distributional Inclusion Hypothesis
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) | 2017-02-22 | Paper |
Context Update for Lambdas and Vectors
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) | 2017-02-22 | Paper |
Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
(available as arXiv preprint) | 2016-12-20 | Paper |
Bell states and negative sentences in the distributed model of meaning
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Classical knowledge for quantum security
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Distributional sentence entailment using density matrices
Topics in Theoretical Computer Science | 2016-04-01 | Paper |
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Semantic vector models and functional models for pregroup grammars
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Word order alternation in Sanskrit via precyclicity in pregroup grammars
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Semantic unification. A sheaf theoretic approach to natural language
Lecture Notes in Computer Science | 2014-05-08 | Paper |
Modular games for coalgebraic fixed point logics
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Algebraic semantics and model completeness for intuitionistic public announcement logic
Annals of Pure and Applied Logic | 2014-01-24 | Paper |
Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
Annals of Pure and Applied Logic | 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 |
| An adventure into Hungarian word order with cyclic pregroups | 2011-10-19 | Paper |
Algebraic semantics and model completeness for intuitionistic public announcement logic
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
Clitic movement in pregroup grammar: a cross-linguistic approach
Logic, Language, and Computation | 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
Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
The Review of Symbolic Logic | 2010-10-14 | Paper |
A runs-and-systems semantics for logics of announcements
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Ockham's razor and reasoning about information flow
Synthese | 2009-08-11 | Paper |
Coalgebraic Epistemic Update Without Change of Model
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Epistemic Actions as Resources
Journal Of Logic And Computation | 2007-12-12 | Paper |
Epistemic Actions as Resources
Journal Of Logic And Computation | 2007-12-12 | Paper |
