Évènements
Rechercher un événement
Types in Ludics
Eugenia Sironi (I2M, Aix-Marseille Université)
This thesis proposes a representation of the notion of type, with a particular interest on dependent types, in Ludics. Ludics is a theory introduced by [...]
15
Jan
Front d'onde d'une distribution en analyse non archimédienne
(...)
En 1969, Sato et Hormander introduisent la notion de front d'onde d'une distribution. Cet outil permet de mieux comprendre les opérations permises sur les distributions [...]
