Introduction seems a bit off to me. Algebraic models of lambda calculi are known already, including treatment of binders and substitutions, and in a way which doesn't need combinators. E.g.: https://arxiv.org/abs/1904.00827
-
-
-
this is two different senses of the word "algebraic". the introduction to the paper is entirely correct! the lambda-calculus as usually constructed cannot be given as an equationally presentable class of algebras. the fact that you can give it a model in a cwf is distinct...
- 7 more replies
New conversation -
-
-
This Tweet is unavailable.
-
In fact, those photos argue that (and then rebut it). There are different meanings of "algebraic" in play. Universal algebra forbids languages from using binders; without this restriction, things get harder to study and model.
- 4 more replies
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.