H homepages.inf.ed.ac.uk Proposition as types – historical perspective [pdf] 2 points bouh 5 years ago 0 comments
