FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Dominic Orchard
Affiliation: School of Computing, University of Kent
Web page: http://dorchard.co.uk
Pages in this Program
Program
Program for Saturday, July 4th