TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Thiago Felicissimo
Affiliation: Université Paris-Saclay, INRIA project Deducteam, LMF, ENS Paris-Saclay
Web page: http://www.lsv.ens-cachan.fr/~felicissimo
Pages in this Program
Program
Program for Monday, June 12th