不要错过Guy Steele和Gerald Sussman的原始lambda论文。
我刚刚开始学习一种lisp方言（Racket），我想知道是否有人与我有联系，或者可以向我介绍lisp语言家族的理论基础，我所说的资源是指你能想到的论文、文章或书籍。
最好指明它使用了哪些数学概念——它如何构造它的运算符，它如何解析它们，统一恒等式等等。我在维基百科上读过SEXP，但我觉得它有点肤浅。
我对基金会感兴趣，因为我喜欢能够向别人解释事情是如何运作的。
提前谢谢。
您可以从头开始：http://www-formal.stanford.edu/jmc/recursive.html
http://library.readscheme.org
http://en.wikipedia.org/wiki/Lisp_in_Small_Pieces
我还想把Landin的"未来700种编程语言"添加到这个列表中；McCarthy揭示了程序解释其他程序的概念，Landin展示了如何将相同的理论框架视为几乎所有编程语言的基础。
事实上，我认为类似LISP语言的理论只是。。。程序设计语言的理论。
Paul Graham有一些关于Lisp历史的小文章：http://www.paulgraham.com/lisp.html
- "Lambda：终极命令"
- 《Lambda：终极宣言》
- "Lambda：终极GOTO"
这里有几个链接：
Allen和Dhagat 的Lisp Primer
Lisp教程