Proposition as types – historical perspective [pdf]homepages.inf.ed.ac.uk2 points·bouh··0 commentsOpen articleSaveView on HN