Type Theory in Type Theory Using Quotient Inductive Types (2016) [pdf]cs.nott.ac.uk3 points·jpelecanos··0 commentsOpen articleSaveView on HN