New answers tagged

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 ...
cody's user avatar
  • 8,114

Top 50 recent answers are included