知识

Lambda Calculus 的规则、使用和合流性。

最早的 LISP 及其扩展。