Proposition as types – historical perspective [pdf](homepages.inf.ed.ac.uk)2 points by bouh 5 years ago | 0 commentsNo comments yet