The SKI Combinator Calculus: a universal formal system (1993)people.cs.uchicago.edu2 points·dgraunke··0 commentsOpen articleSaveView on HN