H homepages.inf.ed.ac.uk Propositions as Types (2014) [pdf] 43 points michaelsbradley 11 years ago 6 comments
