On: Adventures in Category Theory – The algebra of typ...

[4ad]

I would recommend this introduction to type theory: https://arxiv.org/abs/1601.05035.

While it's about HoTT, it starts with a very clear general-audience explanation on why and how type theory is different from set theory.