3 ms·In short, the untyped lambda calculus is Turing-complete.by tempodox 2y agoIn short, the untyped lambda calculus is Turing-complete.