FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Stefano Guerrini
Affiliation: LIPN, Université Paris 13
Web page: http://lipn.univ-paris13.fr/~guerrini
Pages in this Program
Program
Program for Wednesday, July 1st