This video tries to be a brief introduction to Type Theory. I am sorry for the inaccuracies or potential errors. Feel free to tell me in the comments, I just started learning about this topic but I found it too amazing not to share. As you probably already can tell, this is my first video speaking in English so I do hope everything can be understood clearly. My pronunciation is not the nicest. Also this is my entry to SoME1. Music credits: - "Inspiration Piano - Calm Background Music For Videos" by Lesfm. - "Dreamland" by Aakash Gandhi. - "Sea of Memory" by Aakash Gandhi.