FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Ambrus Kaposi
Affiliation: Eötvös Loránd University
Web page: http://akaposi.github.io
Pages in this Program
Program
Program for Friday, July 3rd