3 ms·Lambda calculus is one of the many term rewriting systems. There is a lot of material for free.by fithisux 5y agoLambda calculus is one of the many term rewriting systems. There is a lot of material for free.