Proposition as types – historical perspective [pdf] #1 Post by bouh » Mon, Mar 08, 2021, 9:01 PM UTC Proposition as types – historical perspective [pdf]homepages.inf.ed.ac.uk