"

The fundamental concept of the λ-calculus is that of a function, regarded as a rule of correspondence.

💡 解读: λ演算的基本概念是函数,被视为一种对应规则。
💬 推荐名言 20句推荐
当代欧洲最核心的三位文学家之一
中国南宋时期理学家
🎲 随机 · 灵感闪现 ✨ 名言如星,拾光而行