https://blog.ruo-chen.wang/2021/04/lambda-calculus-from-the-ground-up.html #plt #math #python
上述演讲的文字版整理
Post #113
1.06K
依云的技术资源分享 https://www.youtube.com/watch?v=pkCLMl0e_0k #plt #math #pythonweirane's blog 从零开始的 λ 演算 A summary of the PyCon talk “Lambda Calculus from the Ground Up”