Lambda Calculus – Reductions #3 HackerRank Solution

In this post, we will solve Lambda Calculus – Reductions #3 HackerRank Solution. This problem (Lambda Calculus – Reductions #3) is a part of HackerRank Functional Programming series.

Task

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.)

Solution – Lambda Calculus – Reductions #3 HackerRank Solution

CAN'T REDUCE

Note: This problem (Lambda Calculus – Reductions #3) is generated by HackerRank but the solutions is provided by CodingBroz. This tutorial is only for Educational and Learning purpose.