TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Guilhem Jaber
Affiliation: Nantes Université, LS2N
Web page: https://guilhem.jaber.fr/
Pages in this Program
Program
Program for Tuesday, June 13th