FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Simona Ronchi Della Rocca
Affiliation: University of Turin
Web page: http://www.di.unito.it/~ronchi
Pages in this Program
Program
Program for Thursday, July 2nd