%0 Generic %1 garner2008twodimensional %A Garner, Richard %D 2008 %K HoTT model %R 10.1017/S0960129509007646 %T Two-dimensional models of type theory %U http://arxiv.org/abs/0808.2122 %X We describe a non-extensional variant of Martin-Löf type theory which we call two-dimensional type theory, and equip it with a sound and complete semantics valued in 2-categories.

@misc{garner2008twodimensional, abstract = {We describe a non-extensional variant of Martin-L\"of type theory which we call two-dimensional type theory, and equip it with a sound and complete semantics valued in 2-categories.}, added-at = {2015-01-04T04:51:31.000+0100}, author = {Garner, Richard}, biburl = {https://www.bibsonomy.org/bibtex/2929e4bab84f220b025d33681725ab0a1/t.uemura}, description = {[0808.2122] Two-dimensional models of type theory}, doi = {10.1017/S0960129509007646}, interhash = {10602d59444402b881f0f6c76812a764}, intrahash = {929e4bab84f220b025d33681725ab0a1}, keywords = {HoTT model}, note = {cite \href{http://arxiv.org/abs/0808.2122}{arxiv:0808.2122}Comment: 46 pages; v2: final journal version}, timestamp = {2015-01-04T04:51:31.000+0100}, title = {Two-dimensional models of type theory}, url = {http://arxiv.org/abs/0808.2122}, year = 2008 }