A simple type-theoretic language: Mini-TT (2009) [pdf]cse.chalmers.se1 point·anqurvanillapy··0 commentsOpen articleSaveView on HN