2 ms·Pure lambda calculus is enough because lambda calculus encodes computation.by cryptonector 1y agoPure lambda calculus is enough because lambda calculus encodes computation.