Although using totally different mathematics, they were functionally equivalent to lambda calculus in terms of their computational power.

尽管使用完全不同的数学，但就计算能力而言，它们在功能上等同于 lambda 演算。