4 ms·

I stand corrected. Although lambda calculus is apparently considered by some to be a term rewriting system, apparently. So I'm not sure the connexion is so dist

by rscho 5y ago

I stand corrected. Although lambda calculus is apparently considered by some to be a term rewriting system, apparently. So I'm not sure the connexion is so distant after all.

fithisux 5y ago
Lambda calculus is one of the many term rewriting systems. There is a lot of material for free.