Évènements
Rechercher un événement
01
Jun
Root Systems and their Applications
(...)
Root systems are finite sets of non-zero vectors in a Euclidean space that are subject to a list of axioms which mainly govern symmetries between [...]
01
Jun
Profinite lambda-terms and parametricity
Vincent Moreau (IRIF)
This talk will present a definition of profinite lambda-terms of any simple type. Profinite structures naturally appear in automata theory as a way to speak [...]
