函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
Le désespoir redouble les forces.
"My work is a constant struggle against the power of language."
The more you live, the more you learn. The more you learn, the more you realize how little you know.