List of bibliographic references
Number of relevant bibliographic references: 35.
[0-20] [
0 - 20][
0 - 35][
20-34][
20-40]
| Ident. | Authors (with country if any) | Title |
|---|
| 000560 (2014-11) |
Laurence Danlos [France] ; Philippe De Groote [France] ; Sylvain Pogodalla [France] | A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars |
| 000667 (1999) |
Philippe De Groote [France] | A dynamic programming approach to categorial deduction |
| 000798 (1998) |
Philippe De Groote [France] ; Guy Perrier [France] | A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear Logic'' |
| 000A02 (2014-11-22) |
Philippe De Groote [France] ; Yoad Winter [France] | A type-logical account of quantification in event semantics |
| 000A35 (2011) |
Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis] | About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar |
| 000A41 (2015) |
Philippe De Groote [France] | Abstract Categorial Parsing as Linear Logic Programming |
| 000D55 (1999) |
Philippe De Groote [France] | An algebraic correctness criterion for intuitionistic multiplicative proof-nets |
| 000D87 (1998) |
Philippe De Groote [France] | An environment machine for the $\lambda\mu$-calculus |
| 002372 (2012) |
Philippe De Groote [France] ; Mark-Jan Nederhof | Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers |
| 002373 (2011) |
Philippe De Groote [France] ; Markus Egg ; Laura Kallmeyer | Formal Grammar, 14th International Conference, FG 2009, Revised Selected Papers |
| 002801 (2004-09) |
Philippe De Groote [France] ; Sylvain Salvati [France] | Higher-order Matching in the Linear lambda-calculus with Pairing |
| 002973 (2011-12-19) |
Chris Blom ; Philippe De Groote [France] ; Yoad Winter ; Joost Zwarts | Implicit Arguments: Event Modification or Option Type Categories? |
| 002F17 (2000) |
Philippe De Groote [France] | Linear higher-order matching is NP-complete |
| 002F73 (2001) |
Philippe De Groote [France] ; Glyn Morrill ; Christian Retoré | Logical Aspects of Computational Linguistics |
| 003683 (2015) |
Philippe De Groote [France] | On Logical Relations and Conservativity |
| 003799 (1999) |
Philippe De Groote [France] | On the Strong Normalisation of Natural Deduction with Permutation-Conversions |
| 003800 (2009-06) |
Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis] | On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar |
| 003816 (2003-06) |
Sylvain Salvati [France] ; Philippe De Groote [France] | On the complexity of higher-order matching in the linear $\lambda$-calculus |
| 003833 (2004) |
Philippe De Groote [France] ; Sylvain Pogodalla [France] | On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms |
| 003863 (1996) |
Philippe De Groote [France] ; Christian Retoré [France] | On the semantic readings of proof-nets |
| 003864 (1999) |
Philippe De Groote [France] ; Catherine Pilière [France] | On the semantics of static exception handling |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Philippe De Groote"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i \
-Sk "Philippe De Groote" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Curation
|type= indexItem
|index= Author.i
|clé= Philippe De Groote
}}
| This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 |  |
