The SKI Combinator Calculus a universal formal systempeople.cs.uchicago.edu1 pointjacquesm16 years ago