240 发简信
IP属地:浙江
  • λ演算(Lambda Calculus)入门基础(一):定义与归约

    此系列文章是我学习lambda演算过程的总结与复习,着重于探讨“为什么(Why)”与“怎么做(How)”,也希望能对看到它的人学习了解这个形式系统有些微帮助。由于之前看了不少...