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