The SKI Combinator Calculus a universal formal systempeople.cs.uchicago.edu3 points·iforgottherest··0 commentsOpen articleSaveView on HN