FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
David Pym
Affiliation: University College London
Web page: http://www.cs.ucl.ac.uk/staff/D.Pym/
Pages in this Program
Program
Program for Friday, July 3rd