TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Benedikt Ahrens
Affiliation: TU Delft
Web page: https://benediktahrens.gitlab.io
Pages in this Program
Program
Program for Tuesday, June 13th