Reference. Notes on models of type theory [sterling2023models]

@misc{sterling2023models,
 title = {Notes on models of type theory},
 author = {Sterling, Jon},
 year = {2023},
 url = {https://www.jonmsterling.com/jms-00DJ.xml}
}