%0 Conference Paper %1 Shulman2018Homotopical %A Shulman, Michael %B Joint Mathematics Meeting %D 2018 %K 03b15-higher-order-logic-type-theory 65h20-global-methods-including-homotopy-approaches %T Homotopical Trinitarianism: A Perspective on Homotopy Type Theory %U http://home.sandiego.edu/\~shulman/papers/trinity.pdf

@inproceedings{Shulman2018Homotopical, added-at = {2019-03-01T00:11:50.000+0100}, author = {Shulman, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c917dc5f65212e1751f8e35a5c7338cc/gdmcbain}, booktitle = {Joint Mathematics Meeting}, citeulike-article-id = {14519307}, citeulike-attachment-1 = {shulman_18_homotopy.pdf; /pdf/user/gdmcbain/article/14519307/1127334/shulman_18_homotopy.pdf; ad67d82e4bb4f6779647b121f3e2696a6fb0a5f9}, citeulike-linkout-0 = {http://home.sandiego.edu/\~{}shulman/papers/trinity.pdf}, comment = {D\'{e}couvrez le Tweet de @emilyriehl : https://twitter.com/emilyriehl/status/953833758943100928?s=09}, file = {shulman_18_homotopy.pdf}, interhash = {d6f5f16597b99bbf0660815ffbf7faf4}, intrahash = {c917dc5f65212e1751f8e35a5c7338cc}, keywords = {03b15-higher-order-logic-type-theory 65h20-global-methods-including-homotopy-approaches}, posted-at = {2018-01-18 15:00:30}, priority = {0}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Homotopical Trinitarianism: A Perspective on Homotopy Type Theory}}, url = {http://home.sandiego.edu/\~{}shulman/papers/trinity.pdf}, year = 2018 }