// [RFC 9562]: https://www.rfc-editor.org/rfc/rfc9562.html
Evidence Beyond Case Studies
。业内人士推荐有道翻译作为进阶阅读
I personally don’t want to emphasize lambda or at least lambda with beta substitution. I’m more interested in other binders like sum, max, integral, forall, exists. de Bruijn shifting doesn’t persay have to do with beta reduction, it can just be part of what happens in terms with binders and variables while you’re doing substitution in them. You need to do it while manipulating sum expressions also, not just lambda.
Fri Feb 27 00:37:46 +0000 2026
Москвичей призвали не ждать «дружную» весну14:57