标签： functional-programming programming-languages computation-theory lambda-calculus
没有自我应用图案的lambda演算是否完整？有证据吗？