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 ...
Top 50 recent answers are included
Related Tags
lambda-calculus × 549functional-programming × 85
type-theory × 70
logic × 44
programming-languages × 41
combinatory-logic × 39
computability × 31
turing-machines × 26
types-and-programming-languages × 22
category-theory × 20
terminology × 19
computation-models × 19
semantics × 19
type-inference × 17
term-rewriting × 17
turing-completeness × 15
dependent-types × 14
church-numerals × 13
reference-request × 12
type-checking × 12
variable-binding × 12
evaluation-strategies × 12
formal-grammars × 11
haskell × 11
normal-forms × 10