Projet : CALLIGRAMME - calligramme

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1><a name="SECTION00020000000000000000" id= "SECTION00020000000000000000"></a> <a name= "CALLIGRAMME_presentation_" id= "CALLIGRAMME_presentation_"></a><br /> Présentation et objectifs généraux</h1><a name= "CALLIGRAMME_presentation_presentation" id= "CALLIGRAMME_presentation_presentation"></a> <p>Le 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.</p> <p><strong>Mots clés :</strong> <i>logique linéaire, calcul des séquents, réseau de démonstration, grammaire catégorielle, analyse syntaxique des langues naturelles, sémantique des langues naturelles, lambda-calcul, théorie des types, sémantique dénotationnelle, sémantique des jeux, complexité implicite .</i></p> </body>