1 |
Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
|
|
|
|
In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.inria.fr/hal-03200474 ; Theoretical Computer Science, Elsevier, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
An inquisitive account of wh-questions through event semantics
|
|
|
|
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03541222 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Lexical selection, coercion, and record types
|
|
|
|
In: LENLS17 : Logic & Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-03076311 ; LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan (2020)
|
|
BASE
|
|
Show details
|
|
4 |
A French Version of the FraCaS Test Suite ; Une version française de la ressource FraCaS
|
|
|
|
In: LREC 2020 - Language Resources and Evaluation Conference ; https://hal.inria.fr/hal-02619239 ; LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9 (2020)
|
|
BASE
|
|
Show details
|
|
5 |
Proceedings of the 16th Meeting on the Mathematics of Language
|
|
|
|
In: https://hal.inria.fr/hal-02268054 ; Philippe de Groote; Frank Drewes; Gerald Penn. Jul 2019, Toronto, Canada. Association for Computational Linguistics, 2019 ; https://www.aclweb.org/anthology/W19-5700 (2019)
|
|
BASE
|
|
Show details
|
|
6 |
New Progress in Continuation-Based Dynamic Logic
|
|
|
|
In: LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics ; https://hal.archives-ouvertes.fr/hal-01939664 ; LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden ; http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-160428 (2018)
|
|
BASE
|
|
Show details
|
|
7 |
MOL 2017, the 15th Meeting on the Mathematics of Language ; MOL 2017, the 15th Meeting on the Mathematics of Language: Proceedings of the conference
|
|
|
|
In: https://hal.inria.fr/hal-01654605 ; Kanazawa, Makoto; de Groote, Philippe ; Sadrzadeh, Mehrnoosh. Jul 2017, London, United Kingdom. Association for Computational Linguistics, 2017 ; https://aclweb.org/anthology/sigmol.html#2017_0 (2017)
|
|
BASE
|
|
Show details
|
|
8 |
Generalized Quantifiers and Dynamicity — preliminary results —
|
|
|
|
In: QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017 ; https://hal.archives-ouvertes.fr/hal-01651668 ; QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France (2017)
|
|
BASE
|
|
Show details
|
|
9 |
Modularity and compositionality: The case of temporal modifiers
|
|
|
|
In: Semantics and Linguistic Theory; Proceedings of SALT 25; 656-675 ; 2163-5951 (2017)
|
|
BASE
|
|
Show details
|
|
10 |
Modal Subordination in Type Theoretic Dynamic Logic
|
|
|
|
In: ISSN: 1945-3604 ; Linguistic Issues in Language Technology ; https://hal.inria.fr/hal-01370557 ; Linguistic Issues in Language Technology, Stanford Calif.: CSLI Publications, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39 ; http://csli-lilt.stanford.edu/ojs/index.php/LiLT/issue/view/7 (2016)
|
|
BASE
|
|
Show details
|
|
11 |
Abstract Categorial Parsing as Linear Logic Programming
|
|
|
|
In: Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015) ; https://hal.archives-ouvertes.fr/hal-01188632 ; Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15--25 (2015)
|
|
BASE
|
|
Show details
|
|
12 |
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
|
|
|
|
In: New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers ; https://hal.inria.fr/hal-00868382 ; Yukiko Nakano and Ken Satoh and Daisuke Bekki. New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, 8417, Springer International Publishing, pp.3-16, 2014, Lecture Notes in Computer Science, 978-3-319-10060-9. ⟨10.1007/978-3-319-10061-6_1⟩ (2014)
|
|
BASE
|
|
Show details
|
|
13 |
Accessibilité des référents en sémantique du discours ; Accessibility of Referents in Discourse Semantics
|
|
|
|
BASE
|
|
Show details
|
|
15 |
A Note on Intensionalization
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/hal-00909207 ; Journal of Logic, Language and Information, Springer Verlag, 2013, 22 (2), pp.173-194. ⟨10.1007/s10849-013-9173-9⟩ ; http://link.springer.com/article/10.1007/s10849-013-9173-9 (2013)
|
|
BASE
|
|
Show details
|
|
16 |
Modélisation logique de la langue et grammaires catégorielles abstraites ; Logic modeling of language and Abstract Categorial Grammars
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
19 |
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
|
|
|
|
In: https://hal.inria.fr/hal-00763203 ; Philippe de Groote and Mark-Jan Nederhof. France. 7395, Springer, pp.307, 2012, Lecture Notes in Computer Science, 978-3-642-32023-1. ⟨10.1007/978-3-642-32024-8⟩ (2012)
|
|
BASE
|
|
Show details
|
|
20 |
Expression de la dynamique du discours à l'aide de continuations ; Expressing Discourse Dynamics Through Continuations
|
|
|
|
BASE
|
|
Show details
|
|
|
|