The SKI Combinator Calculus: a universal formal system (1993)people.cs.uchicago.edu2 pointsdgraunke11 years ago