Home > lambdatheultimate > The Triumph of Types: Principia Mathematica’s Impact on Computer Science

The Triumph of Types: Principia Mathematica’s Impact on Computer Science

November 27th, 2010 11:59 Leave a comment Go to comments