λ演算_百度百科
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/