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
2932001
Towards a Montagovian account of dynamics
P De Groote
Semantics and Linguistic Theory 16, 1-16, 2006
1692006
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
921994
A simple calculus of exception handling
P de Groote
International Conference on Typed Lambda Calculi and Applications, 201-215, 1995
841995
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
772004
A CPS-translation of the λμ-calculus
P de Groote
Colloquium on Trees in Algebra and Programming, 85-99, 1994
771994
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
681997
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
602002
Partially commutative linear logic: sequent calculus and phase semantics
P De Groote
Third Roma Workshop: Proofs and Linguistics Categories–Applications of Logic …, 1996
591996
Type raising, continuations, and classical logic
P De Groote
Proceedings of the thirteenth Amsterdam Colloquium, 97-101, 2001
562001
The conservation theorem revisited
P Groote
International Conference on Typed Lambda Calculi and Applications, 163-178, 1993
541993
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
Mathematical Structures in Computer Science 8 (6), 637-669, 1998
481998
On the strong normalisation of intuitionistic natural deduction with permutation-conversions
P de Groote
Information and Computation 178 (2), 441-464, 2002
442002
Type-theoretic extensions of abstract categorial grammars
P De Groote, S Maarek
292007
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