Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}