We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
The term DOES reduce to itself. Please fix the test case. The usage of the notion of "reduce" in the problem statement is left to interpretation , but in formal literature means to produce another term by using a reduction rule (ie. beta-rule). If you check books like Type and Programming Languages of B.Pierce and Programming Languages and Lambda Calculi of Matthias Felleisen you can go deeper in the notion of reduction.
Cookie support is required to access HackerRank
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #3
You are viewing a single comment's thread. Return to all comments →
The term DOES reduce to itself. Please fix the test case. The usage of the notion of "reduce" in the problem statement is left to interpretation , but in formal literature means to produce another term by using a reduction rule (ie. beta-rule). If you check books like Type and Programming Languages of B.Pierce and Programming Languages and Lambda Calculi of Matthias Felleisen you can go deeper in the notion of reduction.