%0 Thesis %1 phd/us/Favonia18 %A (Favonia), Kuen-Bang Hou %D 2017 %K dblp %T Higher-Dimensional Types in the Mechanization of Homotopy Theory.

@phdthesis{phd/us/Favonia18, added-at = {2022-09-22T00:00:00.000+0200}, author = {(Favonia), Kuen-Bang Hou}, biburl = {https://www.bibsonomy.org/bibtex/24475549283d84110d1e4d1624e0a337b/dblp}, ee = {https://doi.org/10.1184/r1/6719840.v1}, interhash = {b766e74cbd236aed220809d57b8ef0c7}, intrahash = {4475549283d84110d1e4d1624e0a337b}, keywords = {dblp}, school = {Carnegie Mellon University, USA}, timestamp = {2024-04-09T08:03:14.000+0200}, title = {Higher-Dimensional Types in the Mechanization of Homotopy Theory.}, year = 2017 }