Recommendations to learn about type theory rigorously

Stream: Type theory

[Perrin Alaine-Sedano]

I'm looking for some books and/or other materials that are accessible for beginners with an undergrad math background but will give me a rigorous foundation. I want to eventually be able to read and understand stuff like the HoTT book but not sure if I could jump right in to that. Any recommendations?

[Markus Himmel]

The first chapter of the HoTT book is actually a pretty good introduction to type theory written for people who have not seen type theory before. So jumping right into the HoTT book is certainly an option.

[Perrin Alaine-Sedano]

@Markus Himmel Thanks! What would you recommend as a good accessible resource to learn about the Lambda Cube and stuff like Martin-Lof Type Theory?

[Bryan Gin-ge Chen]

Nederpelt and Geuvers's "Type theory and formal proof" might be a good source since it starts from the very basics and covers the lambda cube.

[Shreyas Srinivas]

Egbert Rijke has a nice book on the subject

https://arxiv.org/abs/2212.11082