Propositions as Types [pdf]homepages.inf.ed.ac.uk7 points·mlitchard··0 commentsOpen articleSaveView on HN