TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Patrick Bahr
Affiliation: IT University of Copenhagen
Web page: http://itu.dk/~paba
Pages in this Program
Program
Program for Monday, June 12th