TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Jakob Rehof
Affiliation: University of Dortmund
Web page: https://ls14-www.cs.tu-dortmund.de/cms/en/staff/profs/Rehof
Pages in this Program
Program
Program for Tuesday, June 13th