Proof Nets for the Lambek Calculus - an overview - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Proof Nets for the Lambek Calculus - an overview

François Lamarche
  • Fonction : Auteur
Linear logic, proof networks and categorial grammars
Christian Retoré
CV

Résumé

Il s'agit d'un travail d'exposition unifié sur les rapportsentre le calcul de Lambek, différents types de logiques linéaires et la théorie de leursréseaux de démonstration. Des résultats nouveaux sontinclus, y compris plusieurs critères de correctionspéci

Domaines

Autre [cs.OH]

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00098442

Soumis le : lundi 25 septembre 2006-17:01:30

Dernière modification le : vendredi 24 mars 2023-14:52:48

Fichier non déposé

Dates et versions

inria-00098442 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098442 , version 1

Citer

François Lamarche, Christian Retoré. Proof Nets for the Lambek Calculus - an overview. Third Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262. ⟨inria-00098442⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA
76 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More