%0 Journal Article %1 journals/flap/CohenCHM17 %A Cohen, Cyril %A Coquand, Thierry %A Huber, Simon %A Mörtberg, Anders %D 2017 %J FLAP %K dblp %N 10 %P 3127-3170 %T Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom. %U http://dblp.uni-trier.de/db/journals/flap/flap4.html#CohenCHM17 %V 4

@article{journals/flap/CohenCHM17, added-at = {2021-01-29T00:00:00.000+0100}, author = {Cohen, Cyril and Coquand, Thierry and Huber, Simon and Mörtberg, Anders}, biburl = {https://www.bibsonomy.org/bibtex/2791b64c1c1239d236fd505a24fb40ca0/dblp}, ee = {http://collegepublications.co.uk/ifcolog/?00019}, interhash = {b7c69af23c51cca5b664c893f2395664}, intrahash = {791b64c1c1239d236fd505a24fb40ca0}, journal = {FLAP}, keywords = {dblp}, number = 10, pages = {3127-3170}, timestamp = {2024-04-08T14:46:37.000+0200}, title = {Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom.}, url = {http://dblp.uni-trier.de/db/journals/flap/flap4.html#CohenCHM17}, volume = 4, year = 2017 }