单词lambda calculus
n.: λ演算
网络: 微积分
Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.
它被称为lambda演算，用于研究函数定义与应用程序以及递归概念。
And you can also do all sorts of esoteric experiments with lambda calculus and functional programming theory
你还可以在lambda计算和函数类型编程方面做各种新鲜的实验