4 ms·
>computational systems It doesn't say computers. Untyped lambda calculus is a computational system. You've just misinterpreted the text.
by the-smug-one 4y ago
>computational systems
It doesn't say computers. Untyped lambda calculus is a computational system. You've just misinterpreted the text.