Lionel Vaux Auclair
I2M, Aix-Marseille Université
https://test.i2m.univ-amu.fr/perso/lionel.vaux/
Date(s) : 08/10/2020 iCal
11 h 00 min - 12 h 30 min
J’introduirai une notion d’arbres de permutations, qui s’organisent en un groupoïde agissant sur les arbres planaires enracinés avec feuilles étiquetées, c.-à-d. les termes du premier ordre, avec un symbole de fonction par arité. On s’intéressa en particulier au degré d’un arbre défini comme le cardinal de son groupe d’isotropie.
J’exposerai ensuite comment ces morphismes interagissent avec l’opérateur de substitution linéaire, qui revient à remplacer les n occurrences d’une variable dans un terme par une liste de n termes, ou encore à recoller une forêt aux feuilles d’un arbre étiquetées par un atome fixé.
Je terminerai en expliquant comment on en est arrivés à étudier ce genre de structure avec Federico Olimpieri : <divulgâchage>ça a tout à voir avec le développement de Taylor des λ-termes</divulgâchage>.
Aussi en visio-conférence ici :
https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef
Emplacement
Site Sud, Luminy, TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories