FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Joseph Helfer
Organization: Stanford University
Web page: http://web.stanford.edu/~joj/
Pages in this Program
HoTT/UF on Saturday, July 7th
HoTT/UF Program
Program
Program for Saturday, July 7th