Axes de recherche : Développement d’une théorie minimaliste de la syntaxe et de la morphologie, Langues et grammaire, Acquisition des langues, Poétique et métrique comparées. Formalisation de la modalité visuo-gestuelle Les travaux de (...)
Dès les débuts de l’informatique, la linguistique a été à la fois un champ d’investigation privilégié (traduction automatique) et la source de notions clefs (la théorie des langages formels). Plus récemment la logique est apparue comme un élément (...)
Le thème de recherche de CALLIGRAMME est l’utilisation de la logique linéaire et, en particulier de la théorie des réseaux de démonstration dans la modélisation de la circulation de l’information. Deux cas spécifiques de circulation de l’information (...)
L’équipe Logique de la Programmation est une équipe de recherche de l’Institut de Mathématiques de Luminy, UMR 6206 du CNRS. Fondée par Jean-Yves Girard en 1992, l’équipe LDP fait porter sa recherche sur la logique mathématique, la théorie de la (...)