Volgen
Philippe de Groote
Philippe de Groote
Directeur de Recherche, Inria, France
Geverifieerd e-mailadres voor loria.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Towards abstract categorial grammars
P De Groote
Proceedings of the 39th Annual Meeting of the Association for Computational …, 2001
2982001
Towards a Montagovian account of dynamics
P De Groote
Semantics and linguistic theory 16, 1-16, 2006
1782006
On the relation between the λμ-calculus and the syntactic theory of sequential control
P Groote
International Conference on Logic for Programming Artificial Intelligence …, 1994
971994
A simple calculus of exception handling
P Groote
International Conference on Typed Lambda Calculi and Applications, 201-215, 1995
881995
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
792004
A complete axiomatisation for the inclusion of series-parallel partial orders
D Bechet, P Groote, C Retoré
International Conference on Rewriting Techniques and Applications, 230-240, 1997
761997
A CPS-translation of the λμ-calculus
P Groote
Colloquium on Trees in Algebra and Programming, 85-99, 1994
761994
Classical non-associative Lambek calculus
P De Groote, F Lamarche
Studia Logica 71 (3), 355-388, 2002
672002
On the semantic readings of proof-nets
P De Groote, C Retoré
Formal grammar 1996, 57--70, 1996
631996
Vector addition tree automata
P De Groote, B Guillaume, S Salvati
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
622004
Type raising, continuations, and classical logic
P De Groote
Proceedings of the thirteenth Amsterdam Colloquium, 97-101, 2001
622001
Partially commutative linear logic: sequent calculus and phase semantics
P De Groote
Third Roma Workshop: Proofs and Linguistics Categories–Applications of Logic …, 1996
621996
Tree-adjoining grammars as abstract categorial grammars
P de Groote
Proceedings of the Sixth International Workshop on Tree Adjoining Grammar …, 2002
592002
The conservation theorem revisited
P Groote
International Conference on Typed Lambda Calculi and Applications, 163-178, 1993
591993
Strong normalization of classical natural deduction with disjunction
P Groote
International Conference on Typed Lambda Calculi and Applications, 182-196, 2001
532001
The non-associative Lambek calculus with product in polynomial time
P 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
302007
Presupposition accommodation as exception handling
P De Groote, E Lebedeva
Proceedings of the SIGDIAL 2010 Conference, 71-74, 2010
292010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20