Hacker News new | ask | show | jobs
The SKI Combinator Calculus: a universal formal system (1993) (people.cs.uchicago.edu)
2 points by dgraunke 3915 days ago