Edit Profile (opens in new tab) de Groote, Philippe Co-Author Distance Author ID: de-groote.philippe Published as: de Groote, Philippe; De Groote, Philippe; de Groote, P.; de Groote, Ph. more...less Documents Indexed: 33 Publications since 1991 8 Contributions as Editor · 1 Further Contribution Co-Authors: 22 Co-Authors with 22 Joint Publications 266 Co-Co-Authors all top 5 Co-Authors 20 single-authored 5 Pogodalla, Sylvain 3 Retoré, Christian 2 Amblard, Maxime 2 Béchet, Denis 2 Kanazawa, Makoto 2 Morrill, Glyn V. 2 Pollard, Carl 2 Salvati, Sylvain 1 Bargelli, Daniele 1 Barr, Michael 1 Bonfante, Guillaume 1 Buszkowski, Wojciech 1 Casadio, Claudia 1 Drewes, Frank 1 Egg, Markus 1 Fadda, Mario 1 Gillon, Brendan S. 1 Hindley, J. Roger 1 Kallmeyer, Laura 1 Kandulski, Maciej 1 Keenan, Edward L. 1 Lamarche, François 1 Lambek, Joachim 1 Lecomte, Alain 1 Ludmann, Pierre 1 Maarek, Sarah 1 Maršík, Jirka 1 Moortgat, Michael 1 Nederhof, Mark-Jan 1 Oehrle, Richard T. 1 Penn, Gerald 1 Pentus, Mati 1 Perrier, Guy 1 Sadrzadeh, Mehrnoosh 1 Scott, Philip J. 1 Seely, Robert A. G. 1 van Benthem, Johan F. A. K. 1 Yoshinaka, Ryo all top 5 Serials 5 Lecture Notes in Computer Science 2 Theoretical Computer Science 2 Journal of Logic, Language and Information 1 Studia Logica 1 Information and Computation 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Fundamenta Informaticae 1 CSLI Lecture Notes 1 Cahiers du Centre de Logique Fields 40 Mathematical logic and foundations (03-XX) 24 Computer science (68-XX) 8 General and overarching topics; collections (00-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 139 times in 114 Documents Cited by ▼ Year ▼ Classical non-associative Lambek calculus. Zbl 1032.03014 de Groote, Philippe; Lamarche, François 19 2002 A complete axiomatisation for the inclusion of series-parallel partial orders. Zbl 1379.06001 Bechet, Denis; de Groote, Philippe; Retoré, Christian 18 1997 Strong normalization of classical natural deduction with disjunction. Zbl 0981.03027 de Groote, Philippe 14 2001 A simple calculus of exception handling. Zbl 1063.68565 de Groote, Philippe 14 1995 A CPS-translation of the \(\lambda\mu\)-calculus. Zbl 0938.03024 de Groote, P. 10 1994 An environment machine for the \(\lambda\mu\)-calculus. Zbl 0918.03017 de Groote, Philippe 10 1998 Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300 10 2005 The conservation theorem revisited. Zbl 0795.03020 de Groote, Philippe 9 1993 The non-associative Lambek calculus with product in polynomial time. Zbl 0933.03017 de Groote, Philippe 8 1999 On the expressive power of abstract categorial grammars: Representing context-free formalisms. Zbl 1062.03024 de Groote, Philippe; Pogodalla, Sylvain 8 2004 On the strong normalisation of intuitionistic natural deduction with permutation-conversions. Zbl 1031.03071 de Groote, Philippe 8 2002 The Curry-Howard isomorphism. Zbl 0977.03504 6 1995 On the strong normalisation of natural deduction with permutation-conversions. Zbl 0939.03061 de Groote, Philippe 3 1999 Logical aspects of computational linguistics. 4th international conference, LACL 2001, Le Croisic, France, June 27–29, 2001. Proceedings. Zbl 0969.00085 3 2001 A dynamic programming approach to categorical deduction. Zbl 0937.03027 de Groote, Philippe 2 1999 About parallel and syntactocentric formalisms: a perspective from the encoding of convergent grammar into abstract categorial grammar. Zbl 1248.03050 de Groote, Philippe; Pogodalla, Sylvain; Pollard, Carl 2 2011 An algebraic correctness criterion for intuitionistic multiplicative proof-nets. Zbl 0930.03094 de Groote, Philippe 1 1999 On the complexity of higher-order matching in the linear \(\lambda\)-calculus. Zbl 1038.03014 Salvati, Sylvain; de Groote, Philippe 1 2003 Nederpelt’s calculus extended with a notion of context as a logical framework. Zbl 0754.03012 de Groote, Philippe 1 1991 Defining \(\lambda\)-typed \(\lambda\)-calculi by axiomatizing the typing relation. Zbl 0797.68144 de Groote, Philippe 1 1993 Proof-theoretic aspects of the Lambek-Grishin calculus. Zbl 1465.03064 de Groote, Philippe 1 2015 Proof-theoretic aspects of the Lambek-Grishin calculus. Zbl 1465.03064 de Groote, Philippe 1 2015 About parallel and syntactocentric formalisms: a perspective from the encoding of convergent grammar into abstract categorial grammar. Zbl 1248.03050 de Groote, Philippe; Pogodalla, Sylvain; Pollard, Carl 2 2011 Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300 10 2005 On the expressive power of abstract categorial grammars: Representing context-free formalisms. Zbl 1062.03024 de Groote, Philippe; Pogodalla, Sylvain 8 2004 On the complexity of higher-order matching in the linear \(\lambda\)-calculus. Zbl 1038.03014 Salvati, Sylvain; de Groote, Philippe 1 2003 Classical non-associative Lambek calculus. Zbl 1032.03014 de Groote, Philippe; Lamarche, François 19 2002 On the strong normalisation of intuitionistic natural deduction with permutation-conversions. Zbl 1031.03071 de Groote, Philippe 8 2002 Strong normalization of classical natural deduction with disjunction. Zbl 0981.03027 de Groote, Philippe 14 2001 Logical aspects of computational linguistics. 4th international conference, LACL 2001, Le Croisic, France, June 27–29, 2001. Proceedings. Zbl 0969.00085 3 2001 The non-associative Lambek calculus with product in polynomial time. Zbl 0933.03017 de Groote, Philippe 8 1999 On the strong normalisation of natural deduction with permutation-conversions. Zbl 0939.03061 de Groote, Philippe 3 1999 A dynamic programming approach to categorical deduction. Zbl 0937.03027 de Groote, Philippe 2 1999 An algebraic correctness criterion for intuitionistic multiplicative proof-nets. Zbl 0930.03094 de Groote, Philippe 1 1999 An environment machine for the \(\lambda\mu\)-calculus. Zbl 0918.03017 de Groote, Philippe 10 1998 A complete axiomatisation for the inclusion of series-parallel partial orders. Zbl 1379.06001 Bechet, Denis; de Groote, Philippe; Retoré, Christian 18 1997 A simple calculus of exception handling. Zbl 1063.68565 de Groote, Philippe 14 1995 The Curry-Howard isomorphism. Zbl 0977.03504 6 1995 A CPS-translation of the \(\lambda\mu\)-calculus. Zbl 0938.03024 de Groote, P. 10 1994 The conservation theorem revisited. Zbl 0795.03020 de Groote, Philippe 9 1993 Defining \(\lambda\)-typed \(\lambda\)-calculi by axiomatizing the typing relation. Zbl 0797.68144 de Groote, Philippe 1 1993 Nederpelt’s calculus extended with a notion of context as a logical framework. Zbl 0754.03012 de Groote, Philippe 1 1991 all cited Publications top 5 cited Publications all top 5 Cited by 120 Authors 9 Gurski, Frank 7 Komander, Dominique 7 Nour, Karim 7 Rehs, Carolin 6 Buszkowski, Wojciech 5 Aschieri, Federico 4 Nakazawa, Koji 4 Retoré, Christian 4 Savateev, Yury 3 Battyányi, Péter 3 Béchet, Denis 3 David, Rene 3 de Groote, Philippe 3 Kanovich, Max Iosifovich 3 Kuznetsov, Stepan L’vovich 3 Salvati, Sylvain 3 Scedrov, Andre 3 Sørensen, Morten Heine B. 3 Tatsuta, Makoto 3 Wanke, Egon 2 Blaisdell, Eben 2 Bloo, Roel 2 Ciabattoni, Agata 2 Foret, Annie 2 Genco, Francesco A. 2 Kamareddine, Fairouz D. 2 Kaminski, Michael 2 Kanazawa, Makoto 2 Khasidashvili, Zurab O. 2 Kobele, Gregory M. 2 Michaelis, Jens 2 Pimentel, Elaine 2 Pollard, Carl 2 Rethmann, Jochen 2 Saber, Khelifa 2 van Oostrom, Vincent 1 Abel, Andreas M. 1 Andou, Yuuki 1 Ariola, Zena M. 1 Ayhan, Sara 1 Barthe, Gilles 1 Bickford, Mark 1 Biernacka, Małgorzata 1 Blanqui, Frédéric 1 Bonelli, Eduardo 1 Boudol, Gérard 1 Brandenburg, Franz-Josef 1 Brogi, Cosimo Perini 1 Bulińska, Maria 1 Colson, Loïc 1 Crolard, Tristan 1 Danvy, Olivier 1 de’Liguoro, Ugo 1 Douence, Rémi 1 Dowek, Gilles 1 Fleury, Marie-Renee 1 Fradet, Pascal 1 Francez, Nissim 1 Fujita, Ken-etsu 1 Gao, Xiaolu 1 Gleißner, Andreas 1 Gomes, Victor B. F. 1 Grienenberger, Emilie 1 Guo, Yubao 1 Hatcliff, John 1 Herbelin, Hugo 1 Hirokawa, Nao 1 Hoffmann, Stefan 1 Hondet, Gabriel 1 Horčík, Rostislav 1 Ikeda, Satoshi 1 Inaba, Kazuhiro 1 Kakutani, Yoshihiko 1 Kameyama, Yukiyoshi 1 Kamide, Norihiro 1 Kavvos, G. A. 1 Kimura, Daisuke 1 Klev, Ansten Mørch 1 Kramer, Simon 1 Lamarche, François 1 Lindemann, Marvin 1 Matache, Cristina 1 Matsuda, Kazutaka 1 Matthes, Ralph 1 Michel, David 1 Mints, Grigoriĭ Efroimovich 1 Møller Neergaard, Peter 1 Moortgat, Michael 1 Moot, Richard 1 Morrill, Glyn V. 1 Mulligan, Dominic P. 1 Nagele, Julian 1 Nakano, Keisuke 1 Nguyên, Lê Thành Dũng 1 Nishiguchi, Sumiyo 1 Ogawa, Mizuhito 1 Oyamaguchi, Michio 1 Pagnan, Ruggero 1 Pentus, Mati 1 Perekrestenko, Alexander ...and 20 more Authors all top 5 Cited in 29 Serials 18 Theoretical Computer Science 6 Studia Logica 6 Annals of Pure and Applied Logic 6 Journal of Logic, Language and Information 6 Logical Methods in Computer Science 5 Information and Computation 4 The Journal of Logic and Algebraic Programming 3 MSCS. Mathematical Structures in Computer Science 3 Higher-Order and Symbolic Computation 2 Journal of Philosophical Logic 2 The Journal of Symbolic Logic 2 Bulletin of the Section of Logic 2 Archive for Mathematical Logic 2 Journal of Applied Non-Classical Logics 2 Theory of Computing Systems 2 Journal of Combinatorial Optimization 1 Discrete Mathematics 1 Information Processing Letters 1 Applied Mathematics and Computation 1 Journal of Computer and System Sciences 1 Notre Dame Journal of Formal Logic 1 Order 1 New Generation Computing 1 Mathematical Methods of Operations Research 1 RAIRO. Theoretical Informatics and Applications 1 Logica Universalis 1 The Review of Symbolic Logic 1 Algorithms 1 AIMS Mathematics all top 5 Cited in 10 Fields 83 Mathematical logic and foundations (03-XX) 61 Computer science (68-XX) 10 Combinatorics (05-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Operations research, mathematical programming (90-XX) 2 Group theory and generalizations (20-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Quantum theory (81-XX) Citations by Year