Natural models of homotopy type theory

From MaRDI portal
Publication:3130300

DOI10.1017/S0960129516000268zbMath1456.03023arXiv1406.3219OpenAlexW2962920088MaRDI QIDQ3130300

Steven Awodey

Publication date: 11 January 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.3219




Related Items (14)



Cites Work


This page was built for publication: Natural models of homotopy type theory