HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by kchamplewski | Hacker News Reader
Parent
Full thread
kchamplewski
·
Lambda calculus, for example, has no ticker tape.
View on HN
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?
Reply on news.ycombinator.com