Mercoledì 6 ore: 16-18
Luca Tranchini (Wilhelm-Schickard-Institut, Eberhard Karls Universität, Tübingen)
"Un confronto tra deduzione naturale e calcolo dei sequenti alla luce della logica lineare"
poster evento
Aula 354 (Aula Workshop), Complesso San Niccolò, Via Roma 56