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
3112001
Towards a Montagovian account of dynamics
P De Groote
Semantics and linguistic theory, 1-16, 2006
1852006
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
981994
A simple calculus of exception handling
P de Groote
International Conference on Typed Lambda Calculi and Applications, 201-215, 1995
901995
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
871997
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
852004
A CPS-translation of the λμ-calculus
P de Groote
Trees in Algebra and Programming—CAAP'94: 19th International Colloquium …, 1994
841994
Type raising, continuations, and classical logic
P De Groote
Proceedings of the thirteenth Amsterdam Colloquium, 97-101, 2001
702001
Vector addition tree automata
P De Groote, B Guillaume, S Salvati
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
682004
Classical non-associative Lambek calculus
P De Groote, F Lamarche
Studia Logica 71 (3), 355-388, 2002
682002
Partially commutative linear logic: sequent calculus and phase semantics
P De Groote
Third Roma Workshop: Proofs and Linguistics Categories–Applications of Logic …, 1996
661996
On the semantic readings of proof-nets
P De Groote, C Retoré
Formal grammar 1996, 57--70, 1996
641996
The conservation theorem revisited
P Groote
International Conference on Typed Lambda Calculi and Applications, 163-178, 1993
611993
Tree-adjoining grammars as abstract categorial grammars
P de Groote
Proceedings of the Sixth International Workshop on Tree Adjoining Grammar …, 2002
602002
Strong normalization of classical natural deduction with disjunction
P de Groote
Typed Lambda Calculi and Applications: 5th International Conference, TLCA …, 2001
542001
The non-associative Lambek calculus with product in polynomial time
P de Groote
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
511999
An environment machine for the λμ-calculus
P De Groote
Mathematical Structures in Computer Science 8 (6), 637-669, 1998
501998
On the strong normalisation of intuitionistic natural deduction with permutation-conversions
P de Groote
Information and Computation 178 (2), 441-464, 2002
452002
Presupposition accommodation as exception handling
P De Groote, E Lebedeva
Proceedings of the SIGDIAL 2010 Conference, 71-74, 2010
302010
Type-theoretic extensions of abstract categorial grammars
P De Groote, S Maarek
292007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20