FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Taichi Uemura
Organization: University of Amsterdam
Web page: https://staff.fnwi.uva.nl/t.uemura/
Pages in this Program
HoTT/UF on Saturday, July 7th
HoTT/UF Program
Program
Program for Saturday, July 7th