Departmental Seminar

Wednesday, 12. February 2020, 16:30, Aula I.

Enrico Moriconi (Università degli Studi di Pisa)
Remarks on Sequent Calculus