%0 Journal Article %1 journals/jar/BezemCH19 %A Bezem, Marc %A Coquand, Thierry %A Huber, Simon %D 2019 %J J. Autom. Reason. %K dblp %N 2 %P 159-171 %T The Univalence Axiom in Cubical Sets. %U http://dblp.uni-trier.de/db/journals/jar/jar63.html#BezemCH19 %V 63

@article{journals/jar/BezemCH19, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bezem, Marc and Coquand, Thierry and Huber, Simon}, biburl = {https://www.bibsonomy.org/bibtex/2409dab86b5e14c9236bb6fee35dcb302/dblp}, ee = {https://www.wikidata.org/entity/Q114017561}, interhash = {830f4b2d39b3b2241793badaaa545182}, intrahash = {409dab86b5e14c9236bb6fee35dcb302}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {159-171}, timestamp = {2024-04-09T05:03:07.000+0200}, title = {The Univalence Axiom in Cubical Sets.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar63.html#BezemCH19}, volume = 63, year = 2019 }