TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Murdoch J. Gabbay
Affiliation: Heriot-Watt University
Web page: http://www.gabbay.org.uk
Pages in this Program
Program
Program for Wednesday, June 14th