Proposition as types – historical perspective [pdf] homepages.inf.ed.ac.uk 2 points by bouh 5 years ago · 0 comments Reader PiP Save No comments yet.