8 citations · 32 across the 14 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2020★ 4 cited
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…
cs.LO2014
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…
cs.LO2013
Type-theoretical natural language semantics: on the system F for meaning assembly
Christian Retoré
This paper presents and extends our type theoretical framework for a compositional treatment of natural language semantics with some lexical features like coercions (e.g. of a town…