FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Martín Escardó
Affiliation: University of Birmingham
Web page: https://www.cs.bham.ac.uk/~mhe/
Pages in this Program
Program
Program for Thursday, July 17th