une expédition cartographique entre le lambda-calcul, la logique, et la combinatoire – LambdaComb

L’enjeu de ce projet est l’étude et l’approfondissement d’une connexion remarquable découverte en 2013/2014 par les porteurs de ce projet entre lambda-calcul (informatique théorique) et les cartes (combinatoire). Ainsi, nous avons d’un côté, le lambda-calcul, un modèle de calcul classique qui reste très influent sur les langages de programmation modernes et de l’autre côté, la théorie des graphes plongés dans des surfaces (les « cartes »), un domaine profond avec une longue histoire mathématique. Cette découverte inattendue amène de très nombreuses correspondances énumératives et bijectives entre ces deux domaines et de fait, est une véritable opportunité pour le transfert de connaissances entre deux disciplines qui jusqu’à présent était restée essentiellement sans interaction. C’est aussi une occasion unique pour faire des nouvelles avancées par une recherche à l’interface de ces deux champs disciplinaires actifs.