TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Nicola Botta
Affiliation: Potsdam Institute for Climate Impact Research, Chalmers University of Technology
Web page: https://www.pik-potsdam.de/members/botta
Pages in this Program
Program
Program for Thursday, June 15th