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.
- Prepare
- Functional Programming
- Introduction
- Lambda Calculus - Reductions #3
Lambda Calculus - Reductions #3
Lambda Calculus - Reductions #3
Reduce the following expression, using the beta-rule, to no more than one term. If the expression cannot be reduced, enter "CAN'T REDUCE".
((λx.(x x))(λx.(x x)))
Your answer should look like:
u
(This is not the actual answer, just a demonstration of how you should present it.)