8 citations · 32 across the 14 of their papers we have counts for
5 papers · 1 filter
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…
Plurals: individuals and sets in a richly typed semantics
Bruno Mery, Richard Moot, Christian Retoré
We developed a type-theoretical framework for natural lan- guage semantics that, in addition to the usual Montagovian treatment of compositional semantics, includes a treatment of…