![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Philippe de Groote
Person information
- affiliation: INRIA, France
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c39]Philippe de Groote, Maxime Guillaume, Agathe Helman, Sylvain Pogodalla, Raphaël Salmon:
Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice. LENLS 2023: 118-133 - [c38]Philippe de Groote:
On the Semantics of Dependencies: Relative Clauses and Open Clausal Complements. LENLS 2023: 244-259 - 2022
- [c37]Philippe de Groote:
Deriving Formal Semantic Representations from Dependency Structures. LENLS 2022: 157-172 - [c36]Harry Bunt, Maxime Amblard, Johan Bos, Karën Fort, Bruno Guillaume, Philippe de Groote, Chuyuan Li, Pierre Ludmann, Michel Musiol, Siyana Pavlova, Guy Perrier, Sylvain Pogodalla:
Quantification Annotation in ISO 24617-12, Second Draft. LREC 2022: 3407-3416 - [c35]Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote:
Multityped Abstract Categorial Grammars and Their Composition. WoLLIC 2022: 105-122 - 2021
- [j9]Jirka Marsík
, Maxime Amblard, Philippe de Groote:
Introducing ⦇ λ ⦈, a λ-calculus for effectful computation. Theor. Comput. Sci. 869: 108-155 (2021) - 2020
- [c34]Maria Boritchev, Philippe de Groote:
On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach. JSAI-isAI Workshops 2020: 21-36 - [c33]Maxime Amblard, Clément Beysson, Philippe de Groote, Bruno Guillaume, Sylvain Pogodalla:
A French Version of the FraCaS Test Suite. LREC 2020: 5887-5895
2010 – 2019
- 2017
- [e6]Makoto Kanazawa, Philippe de Groote, Mehrnoosh Sadrzadeh:
Proceedings of the 15th Meeting on the Mathematics of Language, MOL 2017, London, UK, July 13-14, 2017. ACL 2017, ISBN 978-1-945626-72-2 [contents] - 2016
- [e5]Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré:
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Lecture Notes in Computer Science 10054, 2016, ISBN 978-3-662-53825-8 [contents] - 2015
- [c32]Philippe de Groote:
On Logical Relations and Conservativity. NLCS@ICALP/LICS 2015: 1-11 - [c31]Philippe de Groote:
Abstract Categorial Parsing as Linear Logic Programming. MOL 2015: 15-25 - [c30]Philippe de Groote:
Proof-Theoretic Aspects of the Lambek-Grishin Calculus. WoLLIC 2015: 109-123 - 2014
- [c29]Philippe de Groote, Yoad Winter:
A Type-Logical Account of Quantification in Event Semantics. JSAI-isAI Workshops 2014: 53-65 - 2013
- [j8]Philippe de Groote, Makoto Kanazawa:
A Note on Intensionalization. J. Log. Lang. Inf. 22(2): 173-194 (2013) - [c28]Laurence Danlos, Philippe de Groote, Sylvain Pogodalla:
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars. JSAI-isAI Workshops 2013: 3-16 - 2012
- [e4]Philippe de Groote, Mark-Jan Nederhof:
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers. Lecture Notes in Computer Science 7395, Springer 2012, ISBN 978-3-642-32023-1 [contents] - 2011
- [j7]Philippe de Groote, Sylvain Pogodalla, Carl Pollard:
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar. Fundam. Informaticae 106(2-4): 211-231 (2011) - [c27]Chris Blom, Philippe de Groote, Yoad Winter, Joost Zwarts:
Implicit Arguments: Event Modification or Option Type Categories? Amsterdam Colloquium on Logic, Language and Meaning 2011: 240-250 - [e3]Philippe de Groote, Markus Egg, Laura Kallmeyer:
Formal Grammar - 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5591, Springer 2011, ISBN 978-3-642-20168-4 [contents] - 2010
- [c26]Philippe de Groote, Ekaterina Lebedeva:
Presupposition Accommodation as Exception Handling. SIGDIAL Conference 2010: 71-74
2000 – 2009
- 2009
- [c25]Philippe de Groote, Sylvain Pogodalla, Carl Pollard:
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. WoLLIC 2009: 182-196 - 2007
- [c24]Philippe de Groote, Sarah Maarek, Ryo Yoshinaka
:
On Two Extensions of Abstract Categorial Grammars. LPAR 2007: 273-287 - 2004
- [j6]Philippe de Groote, Sylvain Pogodalla:
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms. J. Log. Lang. Inf. 13(4): 421-438 (2004) - [c23]Philippe de Groote, Sylvain Salvati:
Higher-Order Matching in the Linear lambda-calculus with Pairing. CSL 2004: 220-234 - [c22]Philippe de Groote, Bruno Guillaume, Sylvain Salvati:
Vector Addition Tree Automata. LICS 2004: 64-73 - 2003
- [c21]Sylvain Salvati, Philippe de Groote:
On the Complexity of Higher-Order Matching in the Linear lambda-Calculus. RTA 2003: 234-245 - 2002
- [j5]Philippe de Groote:
On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions. Inf. Comput. 178(2): 441-464 (2002) - [j4]Philippe de Groote, François Lamarche:
Classical Non-Associative Lambek Calculus. Stud Logica 71(3): 355-388 (2002) - [c20]Philippe de Groote:
Tree-Adjoining Grammars as Abstract Categorial Grammars. TAG+ 2002: 145-150 - 2001
- [c19]Philippe de Groote:
Towards Abstract Categorial Grammars. ACL 2001: 148-155 - [c18]Philippe de Groote:
Strong Normalization of Classical Natural Deduction with Disjunction. TLCA 2001: 182-196 - [c17]Guillaume Bonfante, Philippe de Groote:
Stochastic Lambek Categorial Grammars. FGMOL 2001: 34-40 - [e2]Philippe de Groote, Glyn Morrill, Christian Retoré:
Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings. Lecture Notes in Computer Science 2099, Springer 2001, ISBN 3-540-42273-0 [contents] - 2000
- [c16]Philippe de Groote:
Proof-Search in Implicative Linear Logic as a Matching Problem. LPAR 2000: 257-274 - [c15]Philippe de Groote:
Linear Higher-Order Matching Is NP-Complete. RTA 2000: 127-140
1990 – 1999
- 1999
- [j3]Philippe de Groote:
An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets. Theor. Comput. Sci. 224(1-2): 115-134 (1999) - [c14]Philippe de Groote:
A dynamic programming approach to categorial deduction. CADE 1999: 1-15 - [c13]Philippe de Groote:
On the Strong Normalisation of Natural Deduction with Permutation-Conversions. RTA 1999: 45-59 - [c12]Philippe de Groote:
The Non-Associative Lambek Calculus with Product in Polynomial Time. TABLEAUX 1999: 128-139 - 1998
- [j2]Philippe de Groote, Guy Perrier:
A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic". Formal Aspects Comput. 10(2): 160-170 (1998) - [j1]Philippe de Groote:
An environment machine for the lambda-mu-calculus. Math. Struct. Comput. Sci. 8(6): 637-669 (1998) - 1997
- [c11]Philippe de Groote:
An Algebraic Correctness Criterion for Intuitionistic Proof-Nets. LFCS 1997: 130-140 - [c10]Denis Béchet, Philippe de Groote, Christian Retoré:
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. RTA 1997: 230-240 - [e1]Philippe de Groote:
Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings. Lecture Notes in Computer Science 1210, Springer 1997, ISBN 3-540-62688-3 [contents] - 1996
- [c9]Denis Béchet, Philippe de Groote:
Constructing Different Phonological Bracketings from a Proof Net. LACL 1996: 118-133 - 1995
- [c8]Philippe de Groote:
Linear Logic with Isabelle: Pruning the Proof Search Tree. TABLEAUX 1995: 263-277 - [c7]Philippe de Groote:
A Simple Calculus of Exception Handling. TLCA 1995: 201-215 - 1994
- [c6]Philippe de Groote:
A CPS-Translation of the Lambda-µ-Calculus. CAAP 1994: 85-99 - [c5]Philippe de Groote:
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. LFCS 1994: 142-152 - [c4]Philippe de Groote:
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. LPAR 1994: 31-43 - 1993
- [c3]Philippe de Groote:
Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. STACS 1993: 712-723 - [c2]Philippe de Groote:
The Conservation Theorem revisited. TLCA 1993: 163-178 - 1992
- [c1]Philippe de Groote:
Denotations for Classical Proofs - Preliminary Results. LFCS 1992: 105-116
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-05 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint