A simple type-theoretic language: Mini-TT (2009) [pdf]cse.chalmers.se1 pointanqurvanillapy8 years ago