[yan]

"Recursive Functions of Symbolic Expressions and Their Computation by Machine" http://dspace.mit.edu/handle/1721.1/6096

The lambda papers http://library.readscheme.org/page1.html

[timothychung]

Thanks. :-)