ANR-PRELUDE
Vers une pragmatique théorique basée sur la ludique et les continuations

Equipes

  • Structures Formelles du Langage

    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 (...)

  • SIGNES

    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 (...)

  • CALLIGRAMME

    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 (...)

  • Logique de la Programmation

    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 (...)

Site propuls� par accatone/resurgences
humanités numériques, big data et politiques publiques
Ecole du code et du data, chantier d'insertion numérique