Two unrelated works in progress : building an open data service for student guidance, trying to understand the computational meaning of coherent differential PCF.

Pierre Boudes

2022-11-17 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse