15

  • What is the result of applying the λ-expression λ x likes(x, pizza) to mary, after λ-reduction?

    Answer: likes(mary, pizza)