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