TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Felix Bradley
Affiliation: Royal Holloway, University of London
Web page: https://pure.royalholloway.ac.uk/portal/en/persons/felix-bradley(a2ddd9db-e73d-49f0-b82a-c6d8e1d2e958).html
Pages in this Program
Program
Program for Wednesday, June 14th