8 citations · 32 across the 14 of their papers we have counts for
16 papers
Pomset logic: the other approach to non commutativity in logic
Christian Retoré
Thirty years ago, I introduced a non-commutative variant of classical linear logic, called "pomset logic", issued from a particular categorical interpretation of linear logic known…
Natural Language Semantics and Computability
Richard Moot, Christian Retoré
This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rath…
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture)
Christian Retoré
The semantics of determiner phrases, be they definite de- scriptions, indefinite descriptions or quantified noun phrases, is often as- sumed to be a fully solved question: common n…
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
Maxime Amblard, Christian Retoré
This paper establishes the normalisation of natural deduction or lambda calculus formulation of Intuitionistic Non Commutative Logic --- which involves both commutative and non com…
Category theory, logic and formal linguistics: some connections, old and new
Jean Gillibert, Christian Retoré
We seize the opportunity of the publication of selected papers from the \emph{Logic, categories, semantics} workshop in the \emph{Journal of Applied Logic} to survey some current t…
Deverbal semantics and the Montagovian generative lexicon
Livy-Maria Real-Coelho, Christian Retoré
We propose a lexical account of action nominals, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature about…