Adam Shai comments on Pondering computation in the real world

[Adam Shai]

Thanks! Sounds like I need to have a better understanding of lambda calculus, and as always, category theory :)