> The optimal basis set for computation is either non-unique If one adds a requirement of additively optimal program length as in [1], then Binary Lambda Calcu

> The optimal basis set for computation is either non-unique If one adds a requirement of additively optimal program length as in [1], then Binary Lambda Calculus is a good candidate. [1] https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861#universality https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d8...