%0 Journal Article %1 lumsdaine2014local %A "Lumsdaine, Peter Lefanu" %A "Warren, Michael A." %D 2014 %K HoTT universe %T The Local Universes Model: an Overlooked Coherence Construction for Dependent Type Theories

@article{lumsdaine2014local, added-at = {2015-03-09T02:02:03.000+0100}, author = {"Lumsdaine, Peter Lefanu" and "Warren, Michael A."}, biburl = {https://www.bibsonomy.org/bibtex/2c5b4a6ae388eea34751618b22e533442/t.uemura}, description = {[1411.1736v1] The local universes model: an overlooked coherence construction for dependent type theories}, interhash = {68fa0d128bee66ecc84f670f8302ce4d}, intrahash = {c5b4a6ae388eea34751618b22e533442}, keywords = {HoTT universe}, timestamp = {2015-03-09T02:02:03.000+0100}, title = {The Local Universes Model: an Overlooked Coherence Construction for Dependent Type Theories}, year = 2014 }