Francesco Antonio Genco: Logiche intermedie, dimostrazioni e λ-calcoli concorrenti
Seminario di filoLOGICA a cura di Guido Gherardi, Eugenio Orlandelli, Riccardo Zanichelli
-
Data: 10 giugno 2021 dalle 11:00 alle 13:00
-
Luogo: Aula virtuale di filoLOGICA su teams (per accedere al link contattare i curatori)