| Towards abstract categorial grammars P De Groote Proceedings of the 39th Annual Meeting of the Association for Computational …, 2001 | 318 | 2001 |
| Towards a Montagovian account of dynamics P De Groote Semantics and linguistic theory, 1-16, 2006 | 190 | 2006 |
| On the relation between the λμ-calculus and the syntactic theory of sequential control P De Groote Logic Programming and Automated Reasoning: 5th International Conference …, 1994 | 98 | 1994 |
| A simple calculus of exception handling P de Groote International Conference on Typed Lambda Calculi and Applications, 201-215, 1995 | 91 | 1995 |
| 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 | 89 | 1997 |
| On the expressive power of abstract categorial grammars: Representing context-free formalisms P De Groote, S Pogodalla Journal of Logic, Language and Information 13, 421-438, 2004 | 86 | 2004 |
| A CPS-translation of the λμ-calculus P de Groote Trees in Algebra and Programming—CAAP'94: 19th International Colloquium …, 1994 | 83 | 1994 |
| Type raising, continuations, and classical logic P De Groote Proceedings of the thirteenth Amsterdam Colloquium, 97-101, 2001 | 72 | 2001 |
| Classical non-associative Lambek calculus P De Groote, F Lamarche Studia Logica 71 (3), 355-388, 2002 | 70 | 2002 |
| Vector addition tree automata P De Groote, B Guillaume, S Salvati Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 69 | 2004 |
| Partially commutative linear logic: sequent calculus and phase semantics P De Groote Third Roma Workshop: Proofs and Linguistics Categories–Applications of Logic …, 1996 | 66 | 1996 |
| On the semantic readings of proof-nets P De Groote, C Retoré Formal grammar 1996, 57--70, 1996 | 65 | 1996 |
| The conservation theorem revisited P Groote International Conference on Typed Lambda Calculi and Applications, 163-178, 1993 | 63 | 1993 |
| Tree-adjoining grammars as abstract categorial grammars P de Groote Proceedings of the Sixth International Workshop on Tree Adjoining Grammar …, 2002 | 58 | 2002 |
| Strong normalization of classical natural deduction with disjunction P de Groote Typed Lambda Calculi and Applications: 5th International Conference, TLCA …, 2001 | 54 | 2001 |
| The non-associative Lambek calculus with product in polynomial time P de Groote International Conference on Automated Reasoning with Analytic Tableaux and …, 1999 | 52 | 1999 |
| An environment machine for the λμ-calculus P De Groote Mathematical Structures in Computer Science 8 (6), 637-669, 1998 | 50 | 1998 |
| On the strong normalisation of intuitionistic natural deduction with permutation-conversions P de Groote Information and Computation 178 (2), 441-464, 2002 | 47 | 2002 |
| Presupposition accommodation as exception handling P De Groote, E Lebedeva Proceedings of the SIGDIAL 2010 Conference, 71-74, 2010 | 32 | 2010 |
| Type-theoretic extensions of abstract categorial grammars P De Groote, S Maarek | 30 | 2007 |
Maxime AmblardUniversité de Lorraine - LORIA在 univ-lorraine.fr 的电子邮件经过验证
