添加一个最初的lambda演算论文。和一些其它资源。