41 |
Semantic Types, Lexical Sorts and Classifiers
|
|
|
|
In: NLPCS '10- 10th International Workshop on Natural Language Processing and Computer Science - 2013 ; https://hal.inria.fr/hal-00916722 ; NLPCS '10- 10th International Workshop on Natural Language Processing and Computer Science - 2013, Oct 2013, Marseille, France (2013)
|
|
BASE
|
|
Show details
|
|
42 |
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
|
|
43 |
Type-theoretical natural language semantics: on the system F for meaning assembly
|
|
|
|
In: Conference of the Types Project - TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01152653 ; Conference of the Types Project - TYPES 2013, Apr 2013, Toulouse, France. pp.64-65 (2013)
|
|
BASE
|
|
Show details
|
|
44 |
Sémantique des déterminants dans un cadre richement typé
|
|
|
|
In: Actes de la conférence TALN/RECITAL 2013 ; Traitement Automatique du Langage Naturel 2013 ; https://hal.archives-ouvertes.fr/hal-00785656 ; Traitement Automatique du Langage Naturel 2013, Jun 2013, Les Sables d'Olonnes, France. http://aclweb.org/anthology-new/ (2013)
|
|
BASE
|
|
Show details
|
|
45 |
Logique mathématique et linguistique formelle
|
|
|
|
In: Leçons de mathématiques d'aujourd'hui ; https://hal.archives-ouvertes.fr/hal-00607693 ; Géraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013 (2013)
|
|
BASE
|
|
Show details
|
|
46 |
The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics
|
|
|
|
In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01009838 ; TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩ (2013)
|
|
BASE
|
|
Show details
|
|
47 |
The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics
|
|
|
|
In: TYPES: International Workshop on Types and Proofs for Programs ; https://hal.archives-ouvertes.fr/hal-01145821 ; TYPES: International Workshop on Types and Proofs for Programs, Apr 2013, Toulouse, France. pp.202-229 (2013)
|
|
BASE
|
|
Show details
|
|
48 |
Some proof theoretical remarks on quantification in ordinary language
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
49 |
Note de lecture sur "Discourse processing" de Manfred Stede
|
|
|
|
In: ISSN: 1248-9433 ; EISSN: 1965-0906 ; Revue TAL ; https://hal.archives-ouvertes.fr/hal-00820178 ; Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2013, 53 (2), pp.214--217 (2013)
|
|
BASE
|
|
Show details
|
|
50 |
Type-theoretical natural language semantics: on the system F for meaning assembly
|
|
|
|
In: TYPES 2013 book of abstracts ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-00799685 ; TYPES 2013, Apr 2013, Toulouse, France. pp.64--65 (2013)
|
|
BASE
|
|
Show details
|
|
51 |
Plurals: individuals and sets in a richly typed semantics
|
|
|
|
In: LENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013 ; https://hal.inria.fr/hal-00923556 ; LENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013, jSAI-ISAI, Oct 2013, Hiyoshi, Kanagawa, Japan. pp.143-156 (2013)
|
|
BASE
|
|
Show details
|
|
52 |
Type-theoretical natural language semantics: on the system F for meaning assembly ...
|
|
|
|
BASE
|
|
Show details
|
|
53 |
Some proof theoretical remarks on quantification in ordinary language ...
|
|
|
|
BASE
|
|
Show details
|
|
54 |
Advances in the Logical Representation of Lexical Semantics ...
|
|
|
|
BASE
|
|
Show details
|
|
56 |
A type theoretical framework for natural language semantics: the Montagovian generative lexicon ...
|
|
|
|
BASE
|
|
Show details
|
|
59 |
Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle
|
|
|
|
In: JEP-TALN-RECITAL 2012 ; https://hal.archives-ouvertes.fr/hal-00749374 ; JEP-TALN-RECITAL 2012, Jun 2012, Grenoble, France. pp. 43-56 (2012)
|
|
BASE
|
|
Show details
|
|
60 |
Traitement automatique d'un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types
|
|
|
|
In: 3e Congrès Mondial de Linguistique Française ; https://hal.archives-ouvertes.fr/hal-00750750 ; 3e Congrès Mondial de Linguistique Française, Jul 2012, Lyon, France. pp. 2485-2497 (2012)
|
|
BASE
|
|
Show details
|
|
|
|