User:Hengxin0912/Study on Lambda Calculus

下面是一些参考资料
1 Wiki词条Lambda Calculus