我为我所信仰的东西挺身而出,我不会退缩。
λ演算本质上是一个关于函数及其应用的理论。
La historia no es solo lo que sucedió, sino lo que pudo haber sucedido.