| 1 |
Pomset logic: a logical and grammatical alternative to the Lambek calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Conditions d’assertion de chaque et de tout et règles de déduction du quantificateur universel
|
|
|
|
In: Travaux de linguistique, n 72, 1, 2017-02-03, pp.89-106 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A type theoretical framework for natural language semantics: the Montagovian generative lexicon
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779214 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Some proof theoretical remarks on quantification in ordinary language
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Some proof theoretical remarks on quantification in ordinary language ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 8 |
A type theoretical framework for natural language semantics: the Montagovian generative lexicon ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 9 |
On the system F as a glue language for natural-language compositional-semantics
|
|
|
|
In: https://hal.inria.fr/inria-00616704 ; 2011 (2011)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00941206 ; 2007 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Toward a knowledge representation model dedicated to the semantic analysis of the sentence
|
|
|
|
In: https://hal.inria.fr/inria-00084245 ; [Rapport de recherche] RR-5951, INRIA. 2006, pp.46 (2006)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
A Case Study of the Convergence of Mildly Context-Sensitive Formalisms for Natural Language Syntax: from Minimalist Grammars to Multiple Context-Free Grammars
|
|
|
|
In: https://hal.inria.fr/inria-00117306 ; [Research Report] RR-6042, INRIA. 2006, pp.67 (2006)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Syntaxe et Traitement Automatique des Langues
|
|
|
|
In: https://hal.inria.fr/inria-00070547 ; RR-5459, INRIA. 2005, pp.16 (2005)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
The Logic of Categorial Grammars: Lecture Notes
|
|
|
|
In: https://hal.inria.fr/inria-00070313 ; RR-5703, INRIA. 2005, pp.105 (2005)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
|
|
|
|
In: https://hal.inria.fr/inria-00071248 ; [Research Report] RR-5409, INRIA. 2004, pp.25 (2004)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles
|
|
|
|
In: https://hal.inria.fr/inria-00072736 ; [Rapport de recherche] RR-3917, INRIA. 2000 (2000)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Resource Logics and Minimalist Grammars
|
|
|
|
In: https://hal.inria.fr/inria-00072881 ; [Research Report] RR-3780, INRIA. 1999 (1999)
|
|
BASE
|
|
Show details
|
|
|
|
|
