 Thus these calculi achieve what Wittgenstein in the Tractatus (see above) seems to be gesturing at in his operations/function distinction, for in Church and Curry we have a fully developed theory of ‘operations’, that is functions which can take functions as arguments and values. Of course self-application, as in the infinite looping \(\beta\)-reduction: