New answers tagged lambda-calculus
2
votes
Accepted
Expression with fastest growth in lambda-calculus
Ok, I want to interpret this question as: what is the biggest growth rate a term $t$ of size $|t| = C$ can have, after $n$ $\beta$-reductions (as a function of $n$).
There are several different ...
- 8,114
Top 50 recent answers are included