leozp / Blogs

MyBlog
0 stars 0 forks source link

Lambda演算 #4

Open leozp opened 4 years ago

leozp commented 4 years ago

https://jijing.site/sicp/python-fp.html https://blog.lisp4fun.com/2015/06/22/lambda https://openhome.cc/Gossip/Computation/List.html https://m.xp.cn/c.php/40451.html https://segmentfault.com/a/1190000012771459 http://www.jeepxie.net/article/720435.html https://www.slideshare.net/qinjian623/lambda-15570486 http://www.360doc.com/content/13/0821/11/6828497_308711065.shtml http://www.wemlion.com/post/writing-a-lambda-calculus-interpreter-in-javascript/ https://www.ithome.com.tw/voice/122647 https://yq.aliyun.com/articles/27511 https://liujiacai.net/blog/2014/10/12/lambda-calculus-introduction/ https://qastack.cn/cstheory/21705/what-is-the-contribution-of-lambda-calculus-to-the-field-of-theory-of-computatio https://www.cnblogs.com/qxred/p/lambda_calculus.html https://blog.csdn.net/zwvista/article/details/81070687 http://notebook.xyli.me/lambda-calculus/learn-lambda-calculus-in-y-minutes/ https://juejin.im/post/5da85ed1e51d4524b15d27eb https://www.jianshu.com/p/488e0e0ecffe https://www.jianshu.com/p/ebae04e1e47c https://cgnail.github.io/academic/lambda-1/ https://www.zhihu.com/question/22750376 https://www.zhihu.com/question/21936396 https://zh.wikipedia.org/wiki/%CE%9B%E6%BC%94%E7%AE%97