Évènements
Rechercher un événement
04
May
From stellar systems equilibria to collisionless statistics
(...)
I present the methods originally employed in [1] to derive statistical properties of light distribution in galaxies, before discussing their application in other physical systems. [...]
04
May
TBA
Yohann Lebouazda (CPT)
TBA Le séminaire des doctorant⋅es de l'I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d'un exposé plus ou [...]
04
May
04
May
Quantitative inhabitation for different lambda calculi in a unifying framework
Victor Arrial (IRIF)
We study the inhabitation problem for a language called 𝜆!, a subsuming paradigm (inspired by call-by-push-value) being able to encode Call-by-Name and Call-by-Value strategies of [...]
