FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Marie Kerjean
Affiliation: CNRS, LIPN, Université Sorbonne Paris Nord
Web page: https://www.lipn.univ-paris13.fr/~kerjean/
Pages in this Program
Program
Program for Friday, July 18th