Évènements
Rechercher un événement
19
Feb
Faisceau des différentielles, faisceau canonique et dualité de Serre
Antonio Radimilahy (Aix-Marseille Université)
Dans cet exposé, j' introduirai le faisceau des différentielles d’un schéma à partir de la notion de différentielles de Kähler. Cela permet de définir le [...]
19
Feb
Ohana trees, Taylor expansion and multi-type semantics for the λI-calculus. No variable gets left behind or forgotten!
Rémy Cerda (Università di Bologna)
The standard notion of evaluation trees for the λ-calculus, namely Böhm trees, is quite ill-behaved with respect to the inputs of programs, namely free variables: [...]
19
Feb
Saturation Lipschitz des singularités toriques
Francois Bernard (Toronto)
Introduite par Pham et Teissier, la saturation Lipschitz d'une variété analytique complexe X est une construction algébrique qui joue un rôle important dans l'étude de [...]
