Propositions as Types [PDF]homepages.inf.ed.ac.uk1 point·bronxbomber92··0 commentsOpen articleSaveView on HN