A lambda term $F$ lambda-defines $f:\mathbb N^k\to\mathbb N$ when, for all $n_1,\ldots,n_k$,
$$
F\,c_{n_1}\cdots c_{n_k}\equiv_\beta c_{f(n_1,\ldots,n_k)},
$$
where $c_n$ is the <Church numeral> for $n$.

Solved by gpt-5.6-sol high.

Solution

Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 120 / 2 / c / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-120/2/c/solution