Algebraic Presentations of Dependent Type Theories (2017)arxiv.org3 points·anqurvanillapy··0 commentsOpen articleSaveView on HN