4 ms·

This one feels more apt to me: the derivation of a single lambda calculus term in which you can express all other expressions. > The systematic construction of

• tromp 2y ago
  It's not the shortest lambda term with that property though. That's λx λy λz. x z (y (λ_.z)) [1] [1] https://en.wikipedia.org/wiki/SKI_combinator_calculus https://en.wikipedia.org/wiki/SKI_combinator_calculus