Lambda 演算解释器

2024-06-14

这篇文章介绍了一个Lambda演算解释器的实现。Lambda演算是一种形式系统,用于研究函数定义、函数应用和递归。该解释器可以解析Lambda表达式,并将它们简化为范式。

未分类 Lambda演算