2 ms·

I... disagree. Strongly? In fact almost feel the opposite, that "numerical work" is a subset of computing. What would you call a lambda calculus reducer numeri

by tel 13y ago

I... disagree. Strongly? In fact almost feel the opposite, that "numerical work" is a subset of computing. What would you call a lambda calculus reducer numerically?

zeckalpha 13y ago
A De Bruijn reducer: https://en.wikipedia.org/wiki/De_Bruijn_index https://en.wikipedia.org/wiki/De_Bruijn_index
- tel 13y ago
  Sure, but that's hardly numerical. It's algebraic.