FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Enrico Tassi
Affiliation: INRIA
Web page: http://www-sop.inria.fr/members/Enrico.Tassi/
Pages in this Program
Program
Program for Thursday, July 2nd