Projet Calligramme

                               RA 1996     RA 1998
Suivant : Composition de l'équipe

Projet CALLIGRAMME

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

Rapport d'activité de 1997

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

Localisation : Nancy

Mots-clés : logique linéaire, calcul des séquents, 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, lambda-calcul, théorie des types, sémantique dénotationnelle, sémantique des jeux, complexité

Notes:

...Nancy

Projet du LORIA, commun au CNRS, à l'INRIA, à l'UHP Nancy 1, à Nancy 2 et à l'INPL