Robert Constable gave a talk at the recent Principia Mathematica anniversary symposium [1] about its impact on computer science; the text is available online. [

Robert Constable gave a talk at the recent Principia Mathematica anniversary symposium [1] about its impact on computer science; the text is available online. [2] (There was a recent thread on all this. [3]) [1] http://www.srcf.ucam.org/principia/ http://www.srcf.ucam.org/principia/ [2] http://www.srcf.ucam.org/principia/files/rc.pdf http://www.srcf.ucam.org/principia/files/rc.pdf [3] http://news.ycombinator.com/item?id=1941966 http://news.ycombinator.com/item?id=1941966