%0 Journal Article %1 journals/tocl/LumsdaineW15 %A Lumsdaine, Peter LeFanu %A Warren, Michael A. %D 2015 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 23:1-23:31 %T The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories. %U http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#LumsdaineW15 %V 16

@article{journals/tocl/LumsdaineW15, added-at = {2019-06-02T00:00:00.000+0200}, author = {Lumsdaine, Peter LeFanu and Warren, Michael A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27c1c75f6e82eee07e167258d2644dd63/dblp}, ee = {https://www.wikidata.org/entity/Q59757170}, interhash = {0308329e0ecb51930d349fa41fb34af4}, intrahash = {7c1c75f6e82eee07e167258d2644dd63}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = {23:1-23:31}, timestamp = {2019-09-27T06:33:53.000+0200}, title = {The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#LumsdaineW15}, volume = 16, year = 2015 }