FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Beniamino Accattoli
Affiliation: Inria & LIX, École Polytechnique
Web page: https://sites.google.com/site/beniaminoaccattoli/
Pages in this Program
Program
Program for Wednesday, July 16th