%0 Journal Article %1 journals/siglog/AwodeyH15 %A Awodey, Steve %A Harper, Robert %D 2015 %J ACM SIGLOG News %K dblp %N 1 %P 37-44 %T Homotopy type theory: unified foundations of mathematics and computation. %U http://dblp.uni-trier.de/db/journals/siglog/siglog2.html#AwodeyH15 %V 2

@article{journals/siglog/AwodeyH15, added-at = {2022-06-10T00:00:00.000+0200}, author = {Awodey, Steve and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/282069bdee2048f0c50322b83b1ed6138/dblp}, ee = {https://doi.org/10.1145/2728816.2728825}, interhash = {900ef47e0acce3a024b77258baae5f58}, intrahash = {82069bdee2048f0c50322b83b1ed6138}, journal = {ACM SIGLOG News}, keywords = {dblp}, number = 1, pages = {37-44}, timestamp = {2024-04-08T09:55:07.000+0200}, title = {Homotopy type theory: unified foundations of mathematics and computation.}, url = {http://dblp.uni-trier.de/db/journals/siglog/siglog2.html#AwodeyH15}, volume = 2, year = 2015 }