Évènements
Rechercher un événement
01
Oct
Unification via the Segal condition internally to the λ-calculus
Vincent Moreau (Tallinn University of Technology)
In this talk, I present ongoing work relating unification, simplicial structures, and higher-order regular languages. My starting point is the fact that Higman's order between [...]
01
Oct
Rigidité Spectrale des billards de Sinai
Martin Leguil (Polytechnique)
Dans un travail en commun avec Douglas Finamore, nous nous intéressons à la rigidité spectrale des billards de Sinai d’horizon fini : dans quelle mesure [...]
