Search - Archive ouverte HAL Access content directly

Filter your results

54 Results

On the Strong Normalisation of Natural Deduction with Permutation-Conversions

Philippe de Groote
10th International Conference on Rewriting Techniques & Applications - RTA'99, 1999, Trento, Italy, pp.45--59
Conference papers inria-00100815v1

Stochastic Lambek Categorial Grammars

Guillaume Bonfante , Philippe de Groote
Formal Grammars and Mathematics of Langage Conference - FGMOl'01, Lawrence Moss, 2001, Helsinki, Finland, 9 p
Conference papers inria-00100527v1

Abstract Categorial Parsing as Linear Logic Programming

Philippe de Groote
Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15--25
Conference papers hal-01188632v1

Proceedings of the 16th Meeting on the Mathematics of Language

Philippe de Groote , Frank Drewes , Gerald Penn
Philippe de Groote; Frank Drewes; Gerald Penn. Association for Computational Linguistics, 2019
Books hal-02268054v1

Le problème de l’analyse des troubles de la pensée dans le discours avec la personne schizophrène : proposition méthodologique

Michel Musiol , Manuel Rebuschi , Samuel Buchel , Amandine Lecomte , Philippe de Groote , et al.
L'Évolution Psychiatrique, 2022, 87 (2), pp.347-369. ⟨10.1016/j.evopsy.2022.04.004⟩
Journal articles hal-03724030v1
Image document

Type-theoretic extensions of Abstract Categorial Grammars

Philippe de Groote , Sarah Maarek
Preprints, Working Papers, ... inria-00187759v1

An environment machine for the $\lambda\mu$-calculus

Philippe de Groote
Mathematical Structures in Computer Science, 1998, 8 (6), pp.637-669
Journal articles inria-00098499v1

A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear Logic

Philippe de Groote , Guy Perrier
Formal Aspects of Computing, 1998, 10 (2), pp.160-170
Journal articles inria-00098500v1

On the semantics of static exception handling

Philippe de Groote , Catherine Pilière
[Intern report] 99-R-418 || de_groote99a, 1999, 15 p
Reports inria-00098946v1

Proof-Theoretic Aspects of the Lambek-Grishin Calculus

Philippe de Groote
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. pp.109--123
Conference papers hal-01188612v1

Implicit Arguments: Event Modification or Option Type Categories?

Chris Blom , Philippe de Groote , Yoad Winter , Joost Zwarts
18th Amsterdam Colloquium on Logic, Language and Meaning, Dec 2011, Amsterdam, Netherlands. pp.240-250, ⟨10.1007/978-3-642-31482-7_25⟩
Conference papers hal-00763102v1

Vector Addition Tree Automata

Philippe de Groote , Bruno Guillaume , Sylvain Salvati
19th Annual IEEE Symposium on Logic in Computer Science - LICS'04, 2004, Turku, Finland, France. pp.64-73
Conference papers inria-00100081v1

On the complexity of higher-order matching in the linear $\lambda$-calculus

Sylvain Salvati , Philippe de Groote
International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.234-245
Conference papers inria-00099593v1

Proof-search in implicative linear logic as a matching problem

Philippe de Groote
International Conference on Logic for Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.257-274
Conference papers inria-00099221v1
Image document

Tree-Adjoining Grammars as Abstract Categorial Grammars

Philippe de Groote
Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+6), May 2002, Venezia, Italy. pp.145-150
Conference papers hal-04120630v1
Image document

A type-logical account of quantification in event semantics

Philippe de Groote , Yoad Winter
Logic and Engineering of Natural Language Semantics 11, Nov 2014, Tokyo, Japan
Conference papers hal-01102261v1
Image document

On Logical Relations and Conservativity

Philippe de Groote
NLCS'15. Third Workshop on Natural Language and Computer Science, 2015, Kyoto, Japan. pp.1-11, ⟨10.29007/gwlt⟩
Conference papers hal-01188619v1
Image document

Modal Subordination in Type Theoretic Dynamic Logic

Sai Qian , Philippe de Groote , Maxime Amblard
Linguistic Issues in Language Technology, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39
Journal articles hal-01370557v1

Linear higher-order matching is NP-complete

Philippe de Groote
International Conference on Rewriting Techniques & Applications - RTA'2000, 2000, Norwich, UK, pp.127-140
Conference papers inria-00099220v1

Lexical selection, coercion, and record types

William Babonnaud , Philippe de Groote
LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan
Conference papers hal-03076311v1
Image document

About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar

Philippe de Groote , Sylvain Pogodalla , Carl Pollard
Fundamenta Informaticae, 2011, 106 (2-4), pp.211-231. ⟨10.3233/FI-2011-384⟩
Journal articles inria-00565598v2
Image document

A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars

Laurence Danlos , Philippe de Groote , Sylvain Pogodalla
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⟩
Book sections hal-00868382v1

New Progress in Continuation-Based Dynamic Logic

Philippe de Groote
LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden
Conference papers hal-01939664v1
Image document

Towards abstract categorial grammars

Philippe de Groote
Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Jul 2001, Toulouse, France, France. pp.148-155, ⟨10.3115/1073012.1073045⟩
Conference papers inria-00100529v1

The Non-associative Lambek calculus with product in polynomial time

Philippe de Groote
Automatic Reasoning with Analytic Tableaux and Related Methods, Jun 1999, Saratoga Springs, NY USA, pp.128-139
Conference papers inria-00108070v1

Logical Aspects of Computational Linguistics

Philippe de Groote , Glyn Morrill , Christian Retoré
Springer, 310 p, 2001, Lecture Notres in Artificial Intelligence
Books inria-00100530v1

A dynamic programming approach to categorial deduction

Philippe de Groote
16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
Conference papers inria-00100816v1

An algebraic correctness criterion for intuitionistic multiplicative proof-nets

Philippe de Groote
Theoretical Computer Science, 1999, 224 (1-2), pp.115-134. ⟨10.1016/S0304-3975(98)00309-0⟩
Journal articles inria-00098817v1
Image document

On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms

Philippe de Groote , Sylvain Pogodalla
Journal of Logic, Language and Information, 2004, 13 (4), pp.421-438. ⟨10.1007/s10849-004-2114-x⟩
Journal articles inria-00112956v1

Preuve de confluence de $\lambda_{exn}$

Philippe de Groote , Catherine Pilière
[Interne] 98-R-298 || de_groote98b, 1998, 19 p
Reports inria-00098334v1