Whether the number of beta-steps in the lambda-calculus can be taken as ...
The λ-calculus is a handy formalism to specify the evaluation of
higher-...
Extending the lambda-calculus with a construct for sharing, such as let
...
The usual reading of logical implication "A implies B" as "if A then B" ...