Something went wrong!

Some error occured while loading page for you. Please try again.

  • Practice
  • Compete
  • Jobs
  • Leaderboard
  1. Dashboard
  2. Functional Programming
  3. Introduction
  4. Lambda Calculus - Reductions #1

Lambda Calculus - Reductions #1

by PRASHANTB1984
  • Problem
  • Submissions
  • Leaderboard
  • Discussions

Reduce the following expression to no more than one term. If the expression cannot be reduced, enter "CAN'T REDUCE".

((λx.(x y))(λz.z))

Your answer should look like:

u

(This is not the actual answer, just a demonstration of how you should present it.)

Easy
Submitted 4342 timesMax Score 5

Need Help?

View Discussions
View Top Submissions

Rate This Challenge:

Download problem statement
Download sample test cases
Suggest Edits
Set as default

You can always change back later.

Contest Calendar | Blog | Scoring | Environment | FAQ | About Us | Support | Careers | Terms Of Service | Privacy Policy | Request a Feature