-
Wide-coverage semantics for spatio-temporal reasoning
International audience -
Extended Lambek calculi and first-order linear logic
International audience -
Normalization and sub-formula property for Lambek with product and PCMLL -- P...
This paper establishes the normalisation of natural deduction or lambda calculus formulation of Intuitionistic Non Commutative Logic --- which involves both... -
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof ...
International audience -
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
International audience
