Évènements
Rechercher un événement
15
Jun
Groupe de Travail Math-Cancer (TBA)
(...)
TBAhttp://www.imperial.ac.uk/complex-multiscale-systems/our-group/dr-benjamin-aymard/
15
Jun
La difféologie, kécékssa?
Patrick Iglesias-Zemmour (I2M, CNRS, Marseille)
En mathématiques, Une difféologie généralise le concept de graphiques lisses dans une variété différentiable. Le concept a été introduit pour la première fois par Jean-Marie [...]
Linear approximations, fibrations, intersection types
Luc Pellissier (LIPN, Université Paris 13)
We investigate intersection types from the “type systems as functors” viewpoint, as recently given by Melliès and Zeilberger. After recasting type-theoretic notions such as subject [...]
