拉姆达演算的核心特征