PL Types Quick Introduction to Type Theory A brief intro to some notions related to type theory in programming languages.