FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Felix Cherubini
Affiliation: Carnegie Mellon University
Web page: https://felix-cherubini.de
Pages in this Program
HoTT/UF on Sunday, July 31st
HoTT/UF Program
Program
Program for Sunday, July 31st