FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Damiano Mazza
Affiliation: CNRS, LIPN, Université Sorbonne Paris Nord
Web page: https://lipn.univ-paris13.fr/~mazza
Pages in this Program
Program
Program for Wednesday, July 16th