FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Tom Hirschowitz
Affiliation: Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS
Web page: http://lama.univ-smb.fr/~hirschowitz
Pages in this Program
Program
Program for Thursday, July 2nd