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.
This is highly misleading, because a term, that cannot be reduced any further is called a value (See Call-By-Value). Since the input is already in normal Form, it should be the correct value.
Using words like "compute" and "value" in a lambda calculus setting should be handled with much more care.
Cookie support is required to access HackerRank
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 →
This is highly misleading, because a term, that cannot be reduced any further is called a value (See Call-By-Value). Since the input is already in normal Form, it should be the correct value. Using words like "compute" and "value" in a lambda calculus setting should be handled with much more care.