Précédent : Composition de l'équipe Remonter :
Logique Linéaire,
Réseaux de Démonstration Suivant : La logique
linéaire
La création officielle du projet Calligramme s'est effectuée en mai 1996. Le thème de recherche de base du projet est la logique linéaire : sa syntaxe, sa sémantique, ses rapports avec les formalismes constructifs traditionnels, mais plus spécifiquement l'étude des réseaux de démonstration et de leurs proches parents, les réseaux d'interaction. Les applications de ces recherches sont orientées vers le calcul parallèle (calculs de processus et langages de programmation spécialisés), et surtout vers la linguistique : une grande part de nos recherches porte sur le développement du formalisme des grammaires catégorielles et l'étude de leurs relations avec la sémantique, ceci dans le but de construire des analyseurs syntaxiques et sémantiques plus performants et plus faciles à intégrer à des systèmes complexes.
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é .