HoTT のモデルに関する文献

モデルがないとよくわからない気がしたのでモデルを知りたい,ということで参考になりそうな文献を探してみました(まだ読んでない)。新しい順。