Spartan Type Theory http://math.andrej.com/2017/12/11/spartan-type-theory/ 型理論を全然知らない人向けの良くまとまった短い紹介。