TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
Liron Cohen
Affiliation: Ben Gurion University of the Negev
Web page: https://www.cs.bgu.ac.il/~cliron/
Pages in this Program
Program
Program for Wednesday, June 14th