The SKI Combinator Calculus: a universal formal system 🕑 2006-09-09T23:20:51+00:00; try the Wayback Machine | edit