You are viewing a single comment's thread. Return to all comments →
I don't understand define 0 = λf . λx . x. Could it be deduced from basic principles of Lambda theory?
Thank you.
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Evaluating Expressions #3
You are viewing a single comment's thread. Return to all comments →
I don't understand define 0 = λf . λx . x. Could it be deduced from basic principles of Lambda theory?
Thank you.