标签
A blog post arguing that Principia Mathematica anticipated modern programming language concepts such as lambda calculus, types, and referential transparency.