Inklings: a tumblelog

The SKI Combinator Calculus: a universal formal system