TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
PROGRAM
AUTHORS
KEYWORDS
SLIDES
Gabriele Vanoni
Affiliation:
Inria Sophia Antipolis
Web page:
http://vanoni.me
Pages in this Program
Program
Program for Wednesday, June 14th
Disclaimer
|
Powered by EasyChair Smart Program