Lambda calculus from Bounded Storage Machines? – Computer Science – Snap! Forum https://forum.snap.berkeley.edu/t/lambda-calculus-from-bounded-storage-machines/13103
The title means "Can we do lambda calculus in computers?" which is obviously yes,considering the reason this forum is here. But can we use somewhat short and fast machine code to simulate lambda or iota calculus? I hav…
expression, you have to either avoid making a recursive call to DEEP REPLACE when you find