The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
We must remember that we are not the only species that matters on this planet.
生产与再生产的客观行为模式概率性地决定了家庭与政治经济的客观行为，进而概率性地决定了行为与心理的主观上层建筑。
成功不是偶然的，它是努力、坚持、学习和牺牲的结果。