[kchamplewski]

Lambda calculus, for example, has no ticker tape.

[ukj]

What kind of computations can you perform with Lambda calculus without any input variables?

What are you applying your α-conversion and β-reduction operations to?