The SKI Combinator Calculus a universal formal systempeople.cs.uchicago.edu3 pointsiforgottherest6 years ago