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éminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse