%0 Book %1 citeulike:12840668 %A Program, The Univalent Foundations %D 2013 %K 55-02-algebraic-topology-research-exposition 03b15-higher-order-logic-type-theory 03-02-mathematical-logic-and-foundations-research-exposition %T Homotopy Type Theory %U http://homotopytypetheory.org/book/

@book{citeulike:12840668, added-at = {2017-06-29T07:13:07.000+0200}, author = {Program, The Univalent Foundations}, biburl = {https://www.bibsonomy.org/bibtex/2a77b4e1eb3be1e066656ecca81068519/gdmcbain}, citeulike-article-id = {12840668}, citeulike-attachment-1 = {hott-a4-323-g28e43741.pdf; /pdf/user/gdmcbain/article/12840668/937564/hott-a4-323-g28e43741.pdf; 195b07e5546c6ae4ea9eff6bfbf3fe3474077f81}, citeulike-linkout-0 = {http://homotopytypetheory.org/book/}, comment = {Advertised on fp-syd 2013-12-16}, file = {hott-a4-323-g28e43741.pdf}, interhash = {22f0cf19912838d84ae599c599d8a0a8}, intrahash = {a77b4e1eb3be1e066656ecca81068519}, keywords = {55-02-algebraic-topology-research-exposition 03b15-higher-order-logic-type-theory 03-02-mathematical-logic-and-foundations-research-exposition}, posted-at = {2013-12-15 23:18:29}, priority = {2}, timestamp = {2019-06-17T01:53:35.000+0200}, title = {{Homotopy Type Theory}}, url = {http://homotopytypetheory.org/book/}, year = 2013 }