Évènements
Rechercher un événement
21
May
Minimum and Maximum lambda-Terms
Adrienne Lancelot (Università di Bologna)
The study of program preorders leads to more structure than that of program equivalences. Is it actually interesting in the case of the uneffectful lambda-calculus? [...]
21
May
Une nouvelle approche de l'enlacement d'arrangements de droites.
Benoit Guerville-Balle (Université de Sassari)
Durant ma thèse, j'ai définit avec Artal et Florens, un invariant d'enlacement des arrangements de droites dans le plan projectif complexe. Cet invariant est une [...]
