Philippe Dallemagne < Philippe De Groote < Philippe Debreux

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]

Ident.	Authors (with country if any)	Title
002024 (1997)	Philippe De Groote ; Roger Hindley	Third International Conference on Typed Lambda Calculi and Applications - TLCA'97
002025 (1997)	Denis Bechet ; Philippe De Groote ; Christian Retoré	A complete axiomatisation of the inclusion of series-parallel partial orders
002026 (1997)	Denis Bechet ; Philippe De Groote	Constructing different phonological bracketings from a proof net
002027 (1997)	Philippe De Groote	An algebraic correctness criterion for intuitionistic proof-nets
002044 (1997)	Philippe De Groote	On the expressive power of the Lambek calculus extended with a structural modality --- Abstract
002358 (1998)	Philippe De Groote	An environment machine for the λ\mu-calculus
002359 (1998)	Philippe De Groote ; Guy Perrier	A note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''
002371 (1998)	Philippe De Groote ; Catherine Pilière	Preuve de confluence de λ_{exn}
002480 (1999)	Philippe De Groote	An algebraic correctness criterion for intuitionistic multiplicative proof-nets
002828 (1999)	Philippe De Groote ; Catherine Pilière	On the semantics of static exception handling
002834 (1999)	Philippe De Groote	The Non-associative Lambek calculus with product in polynomial time
002835 (1999)	Philippe De Groote	On the Strong Normalisation of Natural Deduction with Permutation-Conversions
002836 (1999)	Philippe De Groote	A dynamic programming approach to categorial deduction
002A76 (2000)	Philippe De Groote ; Catherine Pilière	On the semantics of static exception handling
002C29 (2000)	Philippe De Groote	Linear higher-order matching is NP-complete
002C30 (2000)	Philippe De Groote	Proof-search in implicative linear logic as a matching problem
002F20 (2001)	Guillaume Bonfante ; Philippe De Groote	Stochastic Lambek Categorial Grammars
002F22 (2001)	Philippe De Groote	Towards abstract categorial grammars
002F23 (2001)	Philippe De Groote ; Glyn Morrill ; Christian Retoré	Logical Aspects of Computational Linguistics
003172 (2002)	Philippe De Groote ; François Lamarche	Classical Non Associative Lambek Calculus
003980 (2003)	Philippe De Groote ; Sylvain Pogodalla	m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/Author.i -k "Philippe De Groote" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/Author.i  \
                -Sk "Philippe De Groote" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |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