@misc{indiciaef7fb5ffd9d94,
  title = {Models of Martin-Löf type theory from algebraic weak factorisation systems},
  author = {Nicola Gambino and Marco Federico Larrea},
  year = {2021},
  doi = {10.1017/jsl.2021.39},
  url = {https://arxiv.org/abs/1906.01491},
  note = {Source identifier: 1906.01491}
}