Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems. - Nicola Gambino; Marco Federico Larrea (J. Symb. Log., 2023)