Cet exposé concerne la combinatoire des cartes et leur interaction avec
le lambda calcul linéaire. En utilisant une combinaison de nouvelles
techniques bijectives et analytiques, nous explorerons la structure de
grandes cartes cubiques aléatoires et de lambda-termes linéaires, en
nous concentrant sur l'étude de diverses statistiques sur de tels
objets, en particulier celles liées à la présence de divers motifs et
leur connexion avec la dynamique de la bêta-réduction sur les termes
linéaires.
Bio : Je suis attaché temporaire d’enseignement et de recherche (ATER) à
l’université de Sorbonne Paris Nord, depuis septembre 2022. J’ai
effectué une thèse en informatique, sur la combinatoire des cartes
(plongements cellulaires des graphe sur des surfaces) et ses
interactions avec le lambda-calcul linéaire (objet étudié en logique et
en théorie de la preuve). Je me suis concentré sur le cas planaire et le
cas de genre arbitraire, dérivant des résultats à la fois bijectifs et
analytiques/probabilistes, y compris des lois limites pour divers
paramètres combinatoires définis sur les cartes cubiques enracinées, les
lambda-termes linéaires, et d’autres familles d’objets connexes.
