RA 1997
Suivant : Composition de l'équipe

Projet CALLIGRAMME

Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

Localisation : Nancy (projet commun à l'INRIA et au CRIN, URA 262 du CNR S et des universités Henri Poincaré Nancy 1, Nancy 2 et INPL).

Mots-clés : logique linéaire, réseaux de démonstration, réseaux d'interaction, grammaires catégorielles, analyse syntaxique des langues naturelles, sémantique des langues naturelles, calcul parallèle, calcul de processus, sémantique dénotationnelle

• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Réseaux de démonstration et réseaux d'interaction
    • Théorie pure des réseaux
    • Théorie des réseaux pour la linguistique
  • Logique linéaire et parallélisme
  • Logique linéaire et grammaires formelles
  • Lambda calculs typés et sémantique
• Action industrielles
  • Collaboration avec Xerox
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
    • Visiteurs étrangers
    • LACL
• Diffusion des résultats
  • Actions d'enseignement et d'encadrement
  • Participation à des colloques, conférences, manifestations diverses
  • Conférences invitées, comités de programmes, etc.
  • Jurys de thèses
• Références
• Abstract