| Publication | Date of Publication | Type |
|---|
| Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces | 2025-01-06 | Paper |
Pomset logic. The other approach to noncommutativity in logic
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
| Pomset logic: the other approach to non commutativity in logic | 2020-01-07 | Paper |
Natural language semantics and computability
Journal of Logic, Language and Information | 2019-06-26 | Paper |
A complete axiomatisation for the inclusion of series-parallel partial orders
Rewriting Techniques and Applications | 2017-11-17 | Paper |
| scientific article; zbMATH DE number 6769394 (Why is no real title available?) | 2017-09-04 | Paper |
| scientific article; zbMATH DE number 6696727 (Why is no real title available?) | 2017-03-23 | Paper |
| The Montagovian generative lexicon \(\Lambda Ty_n\): a type theoretical framework for natural language semantics | 2017-03-13 | Paper |
| Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers | 2016-06-27 | Paper |
| Classical logic and intuitionistic logic: equivalent formulations in natural deduction, G\"odel-Kolmogorov-Glivenko translation | 2016-02-24 | Paper |
Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Typed Hilbert epsilon operators and the semantics of determiner phrases
Formal Grammar | 2014-10-14 | Paper |
Learning Lambek grammars from proof frames
Lecture Notes in Computer Science | 2014-05-08 | Paper |
| Logique math\'ematique et linguistique formelle | 2013-11-08 | Paper |
| Type-theoretical natural language semantics: on the system F for meaning assembly | 2013-03-12 | Paper |
| Some proof theoretical remarks on quantification in ordinary language | 2013-01-22 | Paper |
The logic of categorial grammars. A deductive account of natural language syntax and semantics
Lecture Notes in Computer Science | 2012-07-06 | Paper |
| Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most | 2012-03-08 | Paper |
| Specimens: "most of" generic NPs in a contextually flexible type theory | 2011-11-06 | Paper |
| On the system F as a glue language for natural-language compositional-semantics | 2011-08-25 | Paper |
| Quantification in ordinary language | 2011-07-10 | Paper |
| Categorial Minimalist Grammar | 2010-12-13 | Paper |
A faithful representation of non-associative Lambek grammars in abstract categorial grammars
Journal of Logic, Language and Information | 2010-05-26 | Paper |
| scientific article; zbMATH DE number 5568108 (Why is no real title available?) | 2009-06-23 | Paper |
| scientific article; zbMATH DE number 5560350 (Why is no real title available?) | 2009-06-02 | Paper |
| scientific article; zbMATH DE number 5533334 (Why is no real title available?) | 2009-03-26 | Paper |
| scientific article; zbMATH DE number 2185722 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2152690 (Why is no real title available?) | 2005-04-05 | Paper |
Generative grammars in resource logics
Research on Language and Computation | 2005-03-15 | Paper |
Handsome proof-nets: Perfect matchings and cographs
Theoretical Computer Science | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1406013 (Why is no real title available?) | 2000-05-29 | Paper |
Introduction to the special issue on recent advances in logical and algebraic approaches to grammar
Journal of Logic, Language and Information | 1999-04-27 | Paper |
| scientific article; zbMATH DE number 1231528 (Why is no real title available?) | 1998-12-14 | Paper |
A semantic characterisation of the correctness of a proof net
Mathematical Structures in Computer Science | 1998-03-23 | Paper |
| scientific article; zbMATH DE number 1104358 (Why is no real title available?) | 1998-02-02 | Paper |
The mix rule
Mathematical Structures in Computer Science | 1994-08-14 | Paper |
