×

de Groote, Philippe

Author ID: de-groote.philippe Recent zbMATH articles by "de Groote, Philippe"
Published as: de Groote, Philippe; De Groote, Philippe; de Groote, P.; de Groote, Ph.

Publications by Year

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 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

Citations by Year