Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
