TYPES 2024: TYPES 2024
Yannick Forster
Affiliation: Inria
Web page: https://yforster.de
Pages in this Program
Program
Program for Monday, June 10th