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.
  1. Practice
  2. Functional Programming
  3. Introduction
  4. Lambda Calculus - Evaluating Expressions #3

Lambda Calculus - Evaluating Expressions #3

Under Church encoding, what natural number does the expression λx.λy.x47y represent?

The required answer is an integer, which you may enter in the text box. Do not leave any leading or trailing spaces.