4 ms·
Lambda calculus, for example, has no ticker tape.
by kchamplewski 7y ago
Lambda calculus, for example, has no ticker tape.
- ukj 7y agoWhat kind of computations can you perform with Lambda calculus without any input variables? What are you applying your α-conversion and β-reduction operations to?