2Proposition as types – historical perspective [pdf] (opens in new tab)(homepages.inf.ed.ac.uk)PDF2bouh5y ago0Save