Skip to Main content Skip to Navigation


inria-00100712v1  Journal articles
Philippe de GrooteFrançois Lamarche. Classical Non Associative Lambek Calculus
Studia Logica, Springer Verlag (Germany), 2002, 71 (3), pp.355-388. ⟨10.1023/A:1020520915016⟩
inria-00100081v1  Conference papers
Philippe de GrooteBruno GuillaumeSylvain Salvati. Vector Addition Tree Automata
19th Annual IEEE Symposium on Logic in Computer Science - LICS'04, 2004, Turku, Finland, France. pp.64-73
inria-00098499v1  Journal articles
Philippe de Groote. An environment machine for the $\lambda\mu$-calculus
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 1998, 8 (6), pp.637-669
inria-00099593v1  Conference papers
Sylvain SalvatiPhilippe de Groote. On the complexity of higher-order matching in the linear $\lambda$-calculus
International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.234-245
inria-00098946v1  Reports
Philippe de GrooteCatherine Pilière. On the semantics of static exception handling
[Intern report] 99-R-418 || de_groote99a, 1999, 15 p
...
hal-01370557v1  Journal articles
Sai QianPhilippe de GrooteMaxime Amblard. Modal Subordination in Type Theoretic Dynamic Logic
Linguistic Issues in Language Technology, Stanford Calif.: CSLI Publications, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39
hal-00763102v1  Conference papers
Chris BlomPhilippe de GrooteYoad WinterJoost Zwarts. Implicit Arguments: Event Modification or Option Type Categories?
18th Amsterdam Colloquium on Logic, Language and Meaning, Dec 2011, Amsterdam, Netherlands. pp.240-250, ⟨10.1007/978-3-642-31482-7_25⟩
...
hal-01102261v1  Conference papers
Philippe de GrooteYoad Winter. A type-logical account of quantification in event semantics
Logic and Engineering of Natural Language Semantics 11, Nov 2014, Tokyo, Japan
hal-00763203v1  Directions of work or proceedings
Philippe de GrooteMark-Jan Nederhof. Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
Philippe de Groote and Mark-Jan Nederhof. France. 7395, Springer, pp.307, 2012, Lecture Notes in Computer Science, 978-3-642-32023-1. ⟨10.1007/978-3-642-32024-8⟩
hal-01188619v1  Conference papers
Philippe de Groote. On Logical Relations and Conservativity
NLCS'15. Third Workshop on Natural Language and Computer Science, 2015, Kyoto, Japan. pp.1-11
hal-00909207v1  Journal articles
Philippe de GrooteMakoto Kanazawa. A Note on Intensionalization
Journal of Logic, Language and Information, Springer Verlag, 2013, 22 (2), pp.173-194. ⟨10.1007/s10849-013-9173-9⟩
inria-00099221v1  Conference papers
Philippe de Groote. Proof-search in implicative linear logic as a matching problem
International Conference on Logic for Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.257-274
inria-00100527v1  Conference papers
Guillaume BonfantePhilippe de Groote. Stochastic Lambek Categorial Grammars
Formal Grammars and Mathematics of Langage Conference - FGMOl'01, Lawrence Moss, 2001, Helsinki, Finland, 9 p
inria-00098500v1  Journal articles
Philippe de GrooteGuy Perrier. A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear Logic
Formal Aspects of Computing, Springer Verlag, 1998, 10 (2), pp.160-170
inria-00099220v1  Conference papers
Philippe de Groote. Linear higher-order matching is NP-complete
International Conference on Rewriting Techniques & Applications - RTA'2000, 2000, Norwich, UK, pp.127-140
...
hal-00823554v1  Conference papers
Philippe de GrooteChristian Retoré. On the semantic readings of proof-nets
Formal grammar 1996, 1996, Prague, Czech Republic. pp.57--70
inria-00098334v1  Reports
Philippe de GrooteCatherine Pilière. Preuve de confluence de $\lambda_{exn}$
[Interne] 98-R-298 || de_groote98b, 1998, 19 p
inria-00100529v1  Conference papers
Philippe de Groote. Towards abstract categorial grammars
Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Jul 2001, Toulouse, France, pp.148-155
inria-00100816v1  Conference papers
Philippe de Groote. A dynamic programming approach to categorial deduction
16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
...
inria-00390490v1  Conference papers
Philippe de GrooteSylvain PogodallaCarl Pollard. On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, Jun 2009, Tokyo, Japan. pp.182-196, ⟨10.1007/978-3-642-02261-6_15⟩
inria-00609120v1  Conference papers
Philippe de GrooteSarah MaarekRyo Yoshinaka. On two Extensions of Abstract Categorial Grammars
14th International Conference on Logic for Programming, Artificial Intel ligence and Reasoning - LPAR 2007, Oct 2007, Yerevan, Armenia. pp.273-287, ⟨10.1007/978-3-540-75560-9_21⟩
inria-00100815v1  Conference papers
Philippe de Groote. On the Strong Normalisation of Natural Deduction with Permutation-Conversions
10th International Conference on Rewriting Techniques & Applications - RTA'99, 1999, Trento, Italy, pp.45--59
inria-00100530v1  Directions of work or proceedings
Philippe de GrooteGlyn MorrillChristian Retoré. Logical Aspects of Computational Linguistics
Springer, 310 p, 2001, Lecture Notres in Artificial Intelligence
inria-00572852v1  Conference papers
Philippe de GrooteEkaterina Lebedeva. Presupposition Accommodation as Exception Handling
The 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue - SIGDIAL 2010, Sep 2010, Tokyo, Japan. pp.71-74
...
inria-00107690v1  Conference papers
Philippe de GrooteSylvain Pogodalla. m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars
Proceedings of Eighth Meeting on Mathematics of Language (MOL 8), Jun 2003, Bloomington, Indiana, United States. pp.71-80
inria-00108070v1  Conference papers
Philippe de Groote. The Non-associative Lambek calculus with product in polynomial time
Automatic Reasoning with Analytic Tableaux and Related Methods, Jun 1999, Saratoga Springs, NY USA, pp.128-139