Évènements
Rechercher un événement
Diophantine Approximation and Transcendence
Conference (CIRM, Luminy, Marseille)
Schedule / Programme Abstracts Participants Videos CONFERENCE Diophantine Approximation and Transcendence Approximation diophantienne et transcendance 10 - 14 September 2018 Scientific Committee Comité scientifique Michael [...]
11
Aug
Scientific collaboration
(...)
1) with Alexey KLIMENKO and Andrey DYMOV at the Steklov Institute of Moscow2) with Pavel NIKITIN and Sergey BEREZIN at the Steklov Institute of St.Petersburg
Évaluation sémantique en logique linéaire élémentaire
Tito Nguyen (LIPN, Université Paris 13)
Après avoir passé en revue l'utilisation des techniques d'évaluation sémantique pour caractériser des classes de complexité en lambda-calcul simplement typé (en particulier les travaux de [...]
13
Sep
