Known also as Kuen-Bang Hou (Favonia).
Higher-Dimensional Types in the Mechanization of Homotopy Theory, PhD thesis 2017, (webpage, pdf direct link)
Last revised on August 18, 2018 at 23:25:24. See the history of this page for a list of all contributions to it.