lambda-calculus

在λ演算中对序数的各种编码进行学术探讨，比较包括Mackie和Parigot编码在内的线性、仿射和非线性系统。

本文介绍了一种基于 Lambda 演算的图灵完备函数式语言的极简 7 行解释器，展示了 eval/apply 设计模式。

本文针对无类型λ演算，提出归约求值（NbE）的算法重构，通过逐步优化，得到一个比标准NbE实现渐进更快的正规化器。

研究者发布 λ-RLM，一款开源的带类型 λ-演算运行时，用预验证组合子取代自写递归控制代码，将长上下文推理准确率最高提升 21.9%，在 36 项测试中赢下 29 场。