Philippe de Groote
Philippe de Groote
Directeur de Recherche, Inria, France
Verified email at loria.fr - Homepage
Title
Cited by
Cited by
Year
Towards abstract categorial grammars
P De Groote
Proceedings of the 39th Annual Meeting of the Association for Computational …, 2001
2912001
Towards a Montagovian account of dynamics
P De Groote
Semantics and Linguistic Theory 16, 1-16, 2006
1682006
On the relation between the λμ-calculus and the syntactic theory of sequential control
P De Groote
International Conference on Logic for Programming Artificial Intelligence …, 1994
911994
A simple calculus of exception handling
P de Groote
International Conference on Typed Lambda Calculi and Applications, 201-215, 1995
841995
A CPS-translation of the λμ-calculus
P de Groote
Colloquium on Trees in Algebra and Programming, 85-99, 1994
781994
On the expressive power of abstract categorial grammars: Representing context-free formalisms
P De Groote, S Pogodalla
Journal of Logic, Language and Information 13 (4), 421-438, 2004
762004
A complete axiomatisation for the inclusion of series-parallel partial orders
D Bechet, P De Groote, C Retoré
International Conference on Rewriting Techniques and Applications, 230-240, 1997
661997
Classical non-associative Lambek calculus
P De Groote, F Lamarche
Studia Logica 71 (3), 355-388, 2002
632002
On the semantic readings of proof-nets
P De Groote, C Retoré
Formal grammar 1996, 57--70, 1996
621996
Vector addition tree automata
P De Groote, B Guillaume, S Salvati
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
602004
Tree-adjoining grammars as abstract categorial grammars
P de Groote
Proceedings of the Sixth International Workshop on Tree Adjoining Grammar …, 2002
592002
Partially commutative linear logic: sequent calculus and phase semantics
P De Groote
Third Roma Workshop: Proofs and Linguistics Categories–Applications of Logic …, 1996
581996
The conservation theorem revisited
P Groote
International Conference on Typed Lambda Calculi and Applications, 163-178, 1993
561993
Type raising, continuations, and classical logic
P De Groote
Proceedings of the thirteenth Amsterdam Colloquium, 97-101, 2001
552001
Strong normalization of classical natural deduction with disjunction
P de Groote
International Conference on Typed Lambda Calculi and Applications, 182-196, 2001
532001
The non-associative Lambek calculus with product in polynomial time
P de Groote
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
521999
An environment machine for the-calculus
P De Groote
MSCS, 1998
461998
On the strong normalisation of intuitionistic natural deduction with permutation-conversions
P de Groote
Information and Computation 178 (2), 441-464, 2002
412002
Type-theoretic extensions of abstract categorial grammars
P De Groote, S Maarek
282007
Presupposition accommodation as exception handling
P De Groote, E Lebedeva
Proceedings of the SIGDIAL 2010 Conference, 71-74, 2010
262010
The system can't perform the operation now. Try again later.
Articles 1–20