Denotations for Classical Proofs - Preliminary Results. - Philippe de Groote (LFCS, 1992)

Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. - Philippe de Groote (STACS, 1993)

The Conservation Theorem revisited. - Philippe de Groote (TLCA, 1993)

A CPS-Translation of the Lambda-µ-Calculus. - Philippe de Groote (CAAP, 1994)

Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. - Philippe de Groote (LFCS, 1994)

On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. - Philippe de Groote (LPAR, 1994)

Linear Logic with Isabelle: Pruning the Proof Search Tree. - Philippe de Groote (TABLEAUX, 1995)

A Simple Calculus of Exception Handling. - Philippe de Groote (TLCA, 1995)

Constructing Different Phonological Bracketings from a Proof Net. - Denis Béchet; Philippe de Groote (LACL, 1996)

An Algebraic Correctness Criterion for Intuitionistic Proof-Nets. - Philippe de Groote (LFCS, 1997)

A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. - Denis Béchet; Philippe de Groote; Christian Retoré (RTA, 1997)

A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic". - Philippe de Groote; Guy Perrier (Formal Aspects Comput., 1998)

An environment machine for the lambda-mu-calculus. - Philippe de Groote (Math. Struct. Comput. Sci., 1998)

A dynamic programming approach to categorial deduction. - Philippe de Groote (CADE, 1999)

On the Strong Normalisation of Natural Deduction with Permutation-Conversions. - Philippe de Groote (RTA, 1999)

The Non-Associative Lambek Calculus with Product in Polynomial Time. - Philippe de Groote (TABLEAUX, 1999)

An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets. - Philippe de Groote (Theor. Comput. Sci., 1999)

Proof-Search in Implicative Linear Logic as a Matching Problem. - Philippe de Groote (LPAR, 2000)

Linear Higher-Order Matching Is NP-Complete. - Philippe de Groote (RTA, 2000)

Towards Abstract Categorial Grammars. - Philippe de Groote (ACL, 2001)

Strong Normalization of Classical Natural Deduction with Disjunction. - Philippe de Groote (TLCA, 2001)

Stochastic Lambek Categorial Grammars. - Guillaume Bonfante; Philippe de Groote (FGMOL, 2001)

Tree-Adjoining Grammars as Abstract Categorial Grammars. - Philippe de Groote (TAG+, 2002)

On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions. - Philippe de Groote (Inf. Comput., 2002)

Classical Non-Associative Lambek Calculus. - Philippe de Groote; François Lamarche (Stud Logica, 2002)

On the Complexity of Higher-Order Matching in the Linear lambda-Calculus. - Sylvain Salvati; Philippe de Groote (RTA, 2003)

Higher-Order Matching in the Linear lambda-calculus with Pairing. - Philippe de Groote; Sylvain Salvati (CSL, 2004)

Vector Addition Tree Automata. - Philippe de Groote; Bruno Guillaume; Sylvain Salvati (LICS, 2004)

On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms. - Philippe de Groote; Sylvain Pogodalla (J. Log. Lang. Inf., 2004)

On Two Extensions of Abstract Categorial Grammars. - Philippe de Groote; Sarah Maarek; Ryo Yoshinaka (LPAR, 2007)

On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. - Philippe de Groote; Sylvain Pogodalla; Carl Pollard (WoLLIC, 2009)

Presupposition Accommodation as Exception Handling. - Philippe de Groote; Ekaterina Lebedeva (SIGDIAL Conference, 2010)

Implicit Arguments: Event Modification or Option Type Categories? - Chris Blom; Philippe de Groote; Yoad Winter; Joost Zwarts (Amsterdam Colloquium on Logic, Language and Meaning, 2011)

About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar. - Philippe de Groote; Sylvain Pogodalla; Carl Pollard (Fundam. Informaticae, 2011)

A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars. - Laurence Danlos; Philippe de Groote; Sylvain Pogodalla (JSAI-isAI Workshops, 2013)

A Note on Intensionalization. - Philippe de Groote; Makoto Kanazawa (J. Log. Lang. Inf., 2013)

A Type-Logical Account of Quantification in Event Semantics. - Philippe de Groote; Yoad Winter (JSAI-isAI Workshops, 2014)

On Logical Relations and Conservativity. - Philippe de Groote (NLCS@ICALP/LICS, 2015)

Abstract Categorial Parsing as Linear Logic Programming. - Philippe de Groote (MOL, 2015)

Proof-Theoretic Aspects of the Lambek-Grishin Calculus. - Philippe de Groote (WoLLIC, 2015)

On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach. - Maria Boritchev; Philippe de Groote (JSAI-isAI Workshops, 2020)

A French Version of the FraCaS Test Suite. - Maxime Amblard; Clément Beysson; Philippe de Groote; Bruno Guillaume; Sylvain Pogodalla (LREC, 2020)

Introducing ⦇ λ ⦈, a λ-calculus for effectful computation. - Jirka Marsík; Maxime Amblard; Philippe de Groote (Theor. Comput. Sci., 2021)

Deriving Formal Semantic Representations from Dependency Structures. - Philippe de Groote (LENLS, 2022)

Quantification Annotation in ISO 24617-12, Second Draft. - 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 (LREC, 2022)

Multityped Abstract Categorial Grammars and Their Composition. - Pierre Ludmann; Sylvain Pogodalla; Philippe de Groote (WoLLIC, 2022)

On the Semantics of Dependencies: Relative Clauses and Open Clausal Complements. - Philippe de Groote (LENLS, 2023)

Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice. - Philippe de Groote; Maxime Guillaume; Agathe Helman; Sylvain Pogodalla; Raphaël Salmon (LENLS, 2023)