λ演算 Lambda表达式和闭包Closure

λ演算_百度百科
https://baike.baidu.com/item/λ演算#3

Lambda表达式_百度百科
https://baike.baidu.com/item/Lambda表达式/4585794#1

Lambda表达式和闭包Closure - flydean - 博客园
https://www.cnblogs.com/flydean/p/java-lambda-closure.html

不可解问题_百度百科
https://baike.baidu.com/item/不可解问题/3075852

不可解问题(Undecidable Decision Problem) | Matrix67: The Aha Moments
http://www.matrix67.com/blog/archives/55

Matrix67: The Aha Moments
http://www.matrix67.com/blog/