Home » Authors » Niyousha Najmaei, Niels van der Weide

Niyousha Najmaei, Niels van der Weide

Public reference bibliography and cataloged PDF materials authored or published by Niyousha Najmaei, Niels van der Weide.

Found 1 document(s) Page 1 of 1

A General Construction of Strict Models in HoTT

Year: 2026 • Source: arxiv.org • Listed PDF

Homotopy type theory (HoTT) provides a natural setting for studying the metatheory of type theory, as it comes with additional extensionality principles compared to ordinary Martin-Löf type theory. In particular, it is e...