Auteurs
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « Auteurs » - entrée « Christian Retoré »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Christian Pérez < Christian Retoré < Christian Röossl  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
001416 (2010-12) Maxime Amblard ; Alain Lecomte ; Christian RetoréCategorial Minimalist Grammar: From Generative Syntax To Logical Form
002736 (2004) Sylvain Pogodalla ; Christian RetoréHandsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
002F69 (2011) Sylvain Pogodalla ; Myriam Quatrini ; Christian RetoréLogic and Grammar. Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
002F73 (2001) Philippe De Groote ; Glyn Morrill ; Christian RetoréLogical Aspects of Computational Linguistics
003617 (2007-09-17) Maxime Amblard ; Christian RetoréNormalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
003863 (1996) Philippe De Groote ; Christian RetoréOn the semantic readings of proof-nets
003B03 (2014-06-18) Maxime Amblard ; Christian RetoréPartially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
003D74 (1998) François Lamarche ; Christian RetoréProof Nets for the Lambek Calculus - an overview
004964 (2004-01-12) Maxime Amblard ; Alain Lecomte ; Christian RetoréSyntax and Semantics interacting in a Minimalist theory
005396 (1998) Alain Lecomte ; Christian RetoréWords as modules: a lexicalised grammar in the framework of linear logic proof nets.
006060 (2006-03-09) Maxime Amblard ; Greg Kobele ; Christian RetoréLinguistique computationnelle : entre sciences cognitives et traitement automatique des langues

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Christian Retoré" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Christian Retoré" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Christian Retoré
}}
Wicri

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