Sites Inria

English version

Equipe de recherche CALLIGRAMME

Logique linéaire, réseaux de démonstration et grammaires catégorielles

  • Responsable : Philippe De groote
  • Centre(s) de recherche : CRI Nancy - Grand Est
  • Domaine : Perception, cognition, interaction
  • Thème : Langue, parole et audio
  • Partenaire(s) : Université de Lorraine,CNRS
  • Collaborateur(s) : CNRS, INRIA

Présentation de l'équipe

L'équipe-projet CALLIGRAMME a pour objectif le développement d'outils et de méthodes issus de la théorie de la démonstration et, en particulier, de la logique linéaire. Deux champs d'application sont privilégiés : dans le domaine de la linguistique computationnelle, la modélisation logique de la syntaxe et de la sémantique des langues naturelles ; dans le domaine du génie logiciel, l'étude de la terminaison et de la complexité des programmes.

Axes de recherche

  • Réseaux de démonstration, calcul des séquents et lambda-calculs typés.
  • Grammaires catégorielles.
  • Complexité implicite des calculs.

Relations industrielles et internationales

  • Coopération avec le laboratoire de recherche Xerox à Grenoble.
  • Collaboration avec le Laboratoire de mathématiques discrètes de Luminy.
  • Nombreux échanges avec des centres universitaires : Universités d'Utrecht, de Rome 3, de Catalogne, de la Sarre, d'Indiana...

Mots-clés : Logique linéaire Réseaux de démonstration Grammaires Linguistique

Suivez Inria