You are viewing a single comment's thread. Return to all comments →
lamda X.lamda Y.X(X(Y))=2
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Evaluating Expressions #4
You are viewing a single comment's thread. Return to all comments →
lamda X.lamda Y.X(X(Y))=2