You are viewing a single comment's thread. Return to all comments →
is the third example correct?
following is my derivation but it yields different result:
T((\x. (\y. (y (\z. (\t. ((z (\x. x)) x))))))) (\x. T((\y. (y (\z. (\t. ((z (\x. x)) x))))))) (\x. (C I T((\z. (\t. ((z (\x. x)) x)))))) (\x. (CI (\z. T((\t. ((z (\x. x)) x)))))) (\x. (CI (\z. (K T(((z (\x. x)) x)) (\x. (CI (\z. (K ((z I) x))))) (\x. (CI (BK T((\z. ((z I) x)))))) (\x. (CI (BK (C T((\z. (z I))) x)))) (\x. (CI (BK (C (CII) x)))) B(CI)T((\x. (BK (C (CII) x)))) B(CI)(B(BK)B(C(CII))I))
could you please kindly point out where my problem is?
Seems like cookies are disabled on this browser, please enable them to open this website
Down With Abstractions
You are viewing a single comment's thread. Return to all comments →
is the third example correct?
following is my derivation but it yields different result:
could you please kindly point out where my problem is?