每一本书都是一次旅程,每一次旅程都是一本书。
λ演算本质上是一个关于函数及其应用的理论。