TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Gabriele Vanoni
Affiliation: Inria Sophia Antipolis
Web page: http://vanoni.me
Pages in this Program
Program
Program for Wednesday, June 14th