back

  Publications



Proceedings, Monograph (Editor)


  1. Ph. de Groote, editor.  The Curry-Howard Isomorphism, volume 8 of Cahier du centre de Logique. Université Catholique de Louvain, Academia, 1995.

  2. Ph. de Groote and J.R. Hindley, editors.  Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA’97, volume 1210 of Lecture Notes in Computer Science, Springer Verlag, 1997.

  3. Ph. de Groote, G. Morrill and C. Retoré, editors.  Logical Aspects of Computational Linguistics, Fourth International Conference, LACL’01. Volume 2099 of Lecture Notes in Artificial Intelligence, Springer Verlag, 2001.

  4. Ph. de Groote, M. Eggand and L.Kallmeyer, editors. Formal Grammar,14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers. Volume 5591 of Lecture Notes in Artificial Intelligence, Springer, 2011.

  5. Ph. de Groote and M.-J. Nederhof, editors. Formal Grammar, 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers. Volume 7395 of Lecture Notes in Computer Science, Springer, 2012.

  6. M. Amblard, Ph. de Groote, S. Pogodalla, and C. Retoré, editors. Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Volume 10054 of Lecture Notes in Computer Science, Springer, 2016.

  7. M. Kanazawa, Ph. de Groote, and M. Sadrzadeh, editors. MOL 2017, the 15th Meeting on the Mathematics of Language, London, UK, July 13-14, 2017, Proceedings of the conference. Association for Computational Linguistics (ACL), 2017.


Ph. D. Thesis


  1. Ph. de Groote.  Définition et Propriétés d’un métacalcul de représentation de théories. Thèse de doctorat, Université Catholique de Louvain, Faculté des Sciences Appliquées, Février 1991.


Articles


  1. Ph. de Groote.  Nederpelt’s calculus extended with a notion of context as a logical framework.  In G. Huet and G. Plotkin, editors, Logical Frameworks, pages 69–86. Cambridge University Press, 1991.

  2. Ph. de Groote and G. Perrier.  A note on Kobayashi’s and Yonezawa’s “Asynchronous Communication Model Based on Linear Logic”Formal Aspects of Computing, 10:160–170, 1998.

  3. Ph. de Groote.  An environment machine for the lambda-mu-calculus. Mathematical Structure in Computer Science, 8:637–669, 1998.

  4. Ph. de Groote.  An algebraic correctness criterion for intuitionistic multiplicative proofnetsTheoretical Computer Science, 224:115–134, 1999.

  5. Ph. de Groote.  On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-ConversionsInformation and Computation, 178(2): 441–464, 2002.

  6. Ph. de Groote.  and F. Lamarche. Classical non-associative Lambek calculusStudia Logica, 71(3):355–388, 2002.

  7. Ph. de Groote, S. Pogodalla.  On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free FormalismsJournal of Logic, Language and Information 13(4): 421–438, 2004.

  8. Ph. de Groote. On the expressive power of the Lambek calculus extended with a structural modality.  In C. Casadio, P.J. Scott, R.A.G. Seely, editors, Language and Grammar, CSLI Lecture Notes, 168:95–111, 2005.

  9. Ph. de Groote, S. Pogodalla and C. Pollard. About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar. Fundamenta Informaticae, 106(2-4): 211-231, 2011.

  10. Ph.de Groote and M. Kanazawa. A Note on Intensionalization. Journal of Logic, Language and Information, 22: 173–194, 2013.

  11. S. Qian, Ph. de Groote, and M. Amblard. Modal Subordination in Type Theoretic Dynamic Logic. Linguistic issues in Language Technology, 14(1): 1–54, 2016.


Conference Papers


  1. Ph. de Groote.  Denotations for classical proofs – preliminary results.  In A. Nerode and M. Taitslin, editors, Second International Symposium on Logical Foundations of Computer Science, Tver’92, volume 620 of Lecture Notes in Computer Science, pages 105–116. Springer Verlag, 1992.

  2. Ph. de Groote.  The conservation theorem revisited.  In M. Bezem and J.F. Groote, editors, International Conference on Typed Lambda Calculi and Applications, TLCA’93, volume 664 of Lecture Notes in Computer Science, pages 163–178. Springer Verlag, 1993.

  3. Ph. de Groote.  Defining lambda-typed lambda-calculi by axiomatizing the typing relation.  In P. Enjalbert, A. Finkel, and K.W. Wagner, editors, 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS’93, volume 665 of Lecture Notes in Computer Science, pages 712–723. Springer Verlag, 1993.

  4. Ph. de Groote.  A CPS-translation of the lambda-mu-calculus.  In S. Tison, editor, 19th International Colloquium on Trees in Algebra and Programming, CAAP’94, volume 787 of Lecture Notes in Computer Science, pages 85–99. Springer Verlag, 1994.

  5. Ph. de Groote.  On the relation between the lambda-mu-calculus and the syntactic theory of sequential control.  In F. Pfenning, editor, 5th International Conference on Logic Programming and Automated Reasoning, LPAR’94, volume 822 of Lecture Notes in Artificial Intelligence, pages 31–43. Springer Verlag, 1994.

  6. Ph. de Groote.  Strong normalization in a non-deterministic typed lambda-calculus.  In A. Nerode and Yu. V. Matiyasevich, editors, 3rd international symposium on Logical Foundations of Computer Science, St Petersburg’94, volume 813 of Lecture Notes in Computer Science, pages 142–152. Springer Verlag, 1994.

  7. Ph. de Groote.  A simple calculus of exception handling.  In M. Dezani-Ciancaglini and G. Plotkin, editors, Second International Conference on Typed Lambda Calculi and Applications, TLCA’95, volume 902 of Lecture Notes in Computer Science, pages 201–215. Springer Verlag, 1995.

  8. Ph. de Groote.  Linear logic with Isabelle: pruning the proof search tree.  In P. Baumgartner, R. Hähnle and J. Possega, editors, 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, volume 918 of Lecture Notes in Artificial Intelligence, pages 263–277. Springer Verlag, 1995.

  9. D. Bechet and Ph. de Groote.  Constructing different phonological bracketings from a proof net.  In C. Retoré, editor, Logical Aspects of Computational Linguistics, LACL’96, volume 1328 of Lecture Notes in Artificial Intelligence, pages 118–133. Springer Verlag, 1997.

  10. Ph. de Groote and C. Retoré.  On the semantic readings of proof nets. In Geert-Jan Kruijff, Glyn Morrill, and Dick Oehrle, editors, Formal Grammar, pages 57–70, Prague, August 1996. FoLLI.

  11. Ph. de Groote.  Partially commutative linear logic: sequent calculus and phase semantics.  In M. Abrusci and C. Casadio, editors, Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop.  Cooperativa Libraria Universitaria Editrice Bologna, 1996.

  12. D. Bechet, Ph. de Groote, and C. Retoré.  A complete axiomatisation of the inclusion of series-parallel partial orders.  In H. Comon, editor, 8th International Conference on Rewriting Techniques and Applications, RTA’97, volume 1232 of Lecture Notes in Computer Science, pages 230–240. Springer Verlag, 1997.

  13. Ph. de Groote.  An algebraic correctness criterion for intuitionistic proof-nets.  In S. Adian and A. Nerode, editors, 4th International Symposium on Logical Foundations of Computer Science, Yaroslavl’97, volume 1234 of Lecture Notes in Computer Science, pages 130–140. Springer Verlag,
    1997.

  14. Ph. de Groote.  On the expressive power of the Lambek calculus extended with a structural modality — Abstract.  In R. de Queiroz, 4th Workshop on Logic, Language, Information and Computation, WoLLIC’97, Logic Journal of the IGPL, Volume 6, pages 886–889, November 1997.

  15. Ph. de Groote.  The Non-associative Lambek calculus with product in polynomial time.  In N. V. Murray, editor, Automatic Reasoning with Analytic Tableaux and Related Methods, volume 1617 of Lecture Notes in Artificial Intelligence, pages 128–139. Springer Verlag, 1999.

  16. Ph. de Groote.  On the Strong Normalisation of Natural Deduction with Permutation-Conversions.  In P. Narendran and M. Rusinowitch, editors, 10th International Conference on Rewriting Techniques and Applications, RTA’99, volume 1631 of Lecture Notes in Computer Science, pages 45–59. Springer Verlag, 1999.

  17. Ph. de Groote.  A dynamic programming approach to categorial deduction.  In H. Ganzinger, editor, 16th International Conference on Automated Deduction, volume 1632 of Lecture Notes in Artificial Intelligence, pages 1–15. Springer Verlag, 1999.

  18. Ph. de Groote.  Higher-order linear matching is NP-complete.  In L. Bachmair, editor, 11th International Conference on Rewriting Techniques and Applications, volume 1833 of Lecture Notes in Computer Science, pages 127–140. Springer Verlag, 2000.

  19. Ph. de Groote.  Proof-search in implicative linear logic as a matching problem.  In M. Parigot and A. Voronkov, editors, 7th International Conference on Logic Programming and Automated Reasoning, volume 1955 of Lecture Notes in Artificial Intelligence, pages 257–274. Springer Verlag, 2000.

  20. Ph. de Groote.  Strong Normalization of Classical Natural Deduction with Disjunction. In S. Abramsky, editor, Fifth International Conference on Typed Lambda Calculi and Applications, TLCA’01, volume 2044 of Lecture Notes in Computer Science, pages 182–196. Springer Verlag, 2001.

  21. Ph. de Groote. Towards Abstract Categorial Grammars.  In: Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference, pages 148–155, Toulouse, France, 2001.

  22. G. Bonfante and Ph. de Groote.  Stochastic Lambek Categorial Grammars. In proceedings of sixth Conference on Formal Grammars and the Seventh Meeting on Mathematics of Language, Electronic Notes in Theoretical Computer Science 53, Elsevier, 2001.

  23. Ph. de Groote.  Type raising, continuations, and classical logic.  In R. van Rooy and M. Stokhof, editors, Thirteenth Amsterdam Colloquium, pages 97-101, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 2001.

  24. Ph. de Groote.  Tree-Adjoining Grammars as Abstract Categorial Grammars.  In: TAG+6, Proceedings of the sixth International Workshop on Tree Adjoining Grammars and Related Frameworks, pages 145-150, Università di Venezia, May 2002.

  25. S. Salvati and Ph. de Groote.  On the Complexity of Higher-Order Matching in the Linear lambda-Calculus.  In R. Nieuwenhuis, editor, 14th International Conference on Rewriting Techniques and Applications, volume 2706 of Lecture Notes in Computer Science, pages 234–245. Springer Verlag, 2003.

  26. Ph. de Groote and S. Pogodalla.  m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars.  In R. T. Oehrle and J. Rogers, editors, proceedings of Mathematics of Language, (MOL-8), pages 71–80, 2003.

  27. Ph. de Groote and S. Salvati. Higher-Order Matching in the Linear lambda-Calculus with Pairing.  In J. Marcinkowski and A. Tarlecki, editors, Computer Science Logic, 18th International Workshop, volume 3210 of Lecture Notes in Computer Science, pages 220–234. Springer Verlag, 2004.

  28. Ph. de Groote, B. Guillaume, and S. Salvati.  Vector Addition Tree Automata.  In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), pages 64–73. IEEE Computer Society, 2004.

  29. Ph. de Groote.  Towards a Montagovian account of dynamics.  In M. Gibson and J. Howell, editors, Proceedings of Semantics and Linguistic Theory XVI, pages 1–16, Cornel Univesity, Ithaca, NY, 2006.

  30. Ph. de Groote and S. Maarek. Type-theoretic Extensions of Abstract Categorial Grammars. In New Directions in Type-theoretic Grammars (NDTTG 2007), ESSLLI 2007 workshop, Dublin, August 6–10, 2007.

  31. Ph. de Groote, S. Maarek, and R. Yoshinaka. On Two Extensions of Abstract Categorial Grammars. In N. Dershowitz and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, volume 4790 of Lecture Notes in Computer Science, pages 273–287, Springer, 2007.

  32. Ph. de Groote, S. Pogodalla, and C. Pollard. On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. In H. Ono, M. Kanazawa, R. de Queiroz, editors, Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, volume 5514 of Lecture Notes in Computer Science, pages 182–196, Springer, 2009.

  33. Ph. de Groote and E. Lebedeva. Presupposition Accommodation as Exception Handling. In Y. Katagiri and M. Nakano, editors, Proceedings of the SIGDIAL 2010 Conference, pages 71–74, Association for Computational Linguistics, 2010.

  34. C. Blom, Ph. de Groote, Y. Winter, and J. Zwarts. Implicit Arguments: Event Modification or Option Type Categories? In M. Aloni, V. Kimmelman, F. Roelofsen, G. W. Sassoon, K. Schulz and M. Westera , editors, Logic, Language and Meaning, 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19- 21, 2011, Revised Selected Papers, volume 7218 of Lecture Notes in Computer Science, pages 240–250, Springer, 2012.

  35. L. Danlos, Ph. de Groote, and S. Pogodalla. A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars. In Y. Nakano, K. Satoh, and D. Bekki, editors, New Frontiers in Artificial Intelligence, JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, volume 8417 of Lecture Notes in Artificial Intelligence, pages 3–16, Springer, 2014.

  36. Ph. de Groote, and Y. Winter. A Type-Logical Account of Quantification in Event Semantics.  In T. Murata, K. Mineshima, and D. Bekki, editors, New Frontiers in Artificial Intelligence, JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers, volume 9067 of Lecture Notes in Artificial Intelligence, pages 53–65, Springer, 2015.

  37. Ph. de Groote. On Logical Relations and Conservativity. In M. Kanazawa, L. S. Moss, V. de Paiva, editors, Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, volume 32 of EPiC Series in Computing, pages 1–11, EasyChair, 2015.

  38. Ph. de Groote. Proof-Theoretic Aspects of the Lambek-Grishin Calculus. In V. de Paiva, R. J. G. B. de Queiroz, L. S. Moss, D. Leivant, A. Grisi de Oliveira, editors, Logic, Language, Information, and Computation – 22nd International Workshop, WoLLIC 2015, volume 9160 of Lecture Notes in Computer Science, pages 109–123, Springer 2015.

  39. Ph. de Groote. Abstract Categorial Parsing as Linear Logic Programming. In M. Kuhlmann, M. Kanazawa, G. M. Kobele, editors, Proceedings of the 14th Meeting on the Mathematics of Language, MoL 2015, pages 15–25, ACL 2015.

  40. Ph. de Groote. Modularity and compositionality: The case of temporal modifiers. In S. D’Antonio, M. Moroney, and C.-R. Little, editors, Semantics and Linguistic Theory (SALT), volume 25, pages 656–675. LSA and CLC Publications, 2015.

  41. Ph. de Groote. Lambek Categorial Grammars as Abstract Categorial Grammars. In Proceedings of the Thirtienth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS 13), JSAI, 2016.

  42. C. Beysson, S. Blind, Ph. de Groote and B. Guillaume. Generalized quantifiers and dynamicity. In QUAD: QUantifiers And Determiners, ESSLLI 2017 workshop, Toulouse, July 17–21, 2017.