%0 Journal Article %1 warren2008homotopy %A Warren, Michael A. %D 2008 %J Ph.D.thesis: Carnegie Mellon University %K HoTT model %T Homotopy theoretic aspects of constructive type theory %U http://mawarren.net/papers/phd.pdf

@article{warren2008homotopy, added-at = {2014-11-18T07:12:38.000+0100}, author = {Warren, Michael A.}, biburl = {https://www.bibsonomy.org/bibtex/2043b4c123eefa2770a89bdd5692b1620/t.uemura}, interhash = {9516c1d80fcc5b7afd315988b9affac6}, intrahash = {043b4c123eefa2770a89bdd5692b1620}, journal = {Ph.D.thesis: Carnegie Mellon University}, keywords = {HoTT model}, timestamp = {2014-11-18T07:12:38.000+0100}, title = {Homotopy theoretic aspects of constructive type theory}, url = {http://mawarren.net/papers/phd.pdf}, year = 2008 }