most citedModels of Martin-Löf type theory from algebraic weak factorisation systems

8 citations · 8 across the 1 of their papers we have counts for

collaborators

1 paper

math.CT2019★ 8 cited

Models of Martin-Löf type theory from algebraic weak factorisation systems

Nicola Gambino, Marco Federico Larrea

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-Löf type theory. This is done by showing that th…