FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Taichi Uemura
Affiliation: Stockholm University
Web page: https://uemurax.github.io/
Pages in this Program
HoTT/UF on Sunday, July 31st
HoTT/UF Program
Program
Program for Sunday, July 31st