TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Mohammad Shaheer
Affiliation: Carnegie Mellon University in Qatar
Web page: https://www.linkedin.com/in/mohammad-shaheer-aa622b194/
Pages in this Program
Program
Program for Wednesday, June 14th