Filtrer vos résultats
- 5
- 1
- 3
- 2
- 1
- 6
- 2
- 1
- 1
- 3
- 3
- 6
- 4
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 2
- 2
- 1
6 résultats
|
|
triés par
|
|
Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed SystemsESSLLI 2015 - 27th European Summer School in Logic, Language and Information, Aug 2015, Barcelona, Spain
Communication dans un congrès
hal-01216589v1
|
||
|
Individuation Criteria, Dot-types and Copredication: A View from Modern Type TheoriesACL anthology, Jul 2015, Chicago, France. ⟨10.3115/v1/W15-2304⟩
Communication dans un congrès
hal-01216596v1
|
||
|
Natural Language Reasoning using Coq: Interaction and AutomationTraitement Automatique des Langues Naturelles (TALN 2015), Jun 2015, Caen, France
Communication dans un congrès
hal-01216604v1
|
||
|
From logical and linguistic generics to Hilbert’s tau and epsilon quantifiersIfColog Journal of Logics and their Applications (FLAP), 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256
Article dans une revue
hal-01803717v1
|
||
|
Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed SystemsJournal of Language Modelling, 2017, Type-theoretical approaches to lexical semantics, 5 (2), pp.229-272. ⟨10.15398/jlm.v5i2.145⟩
Article dans une revue
hal-01947518v1
|
||
Hilbert’s Epsilon and Tau in Logic, Informatics and LinguisticsFrance. IfColog Journal of Logics and their Applications (FLAP), 4 (2), 2017
N°spécial de revue/special issue
hal-01803760v1
|