TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Tim Richter
Affiliation: University of Potsdam
Web page: https://www.uni-potsdam.de/en/thi/staff/richter
Pages in this Program
Program
Program for Thursday, June 15th