Comment Comment by kazinator > BLC requires translating bitstrings into lambda terms, to which the machine (itself a lambda term) can be readily applied.I.e. a man behind the curtain is required to complete the "interpreter". parent kazinator 4 years ago
I.e. a man behind the curtain is required to complete the "interpreter".