#杂
《A Tutorial Introduction to the Lambda Calculus》，关于lambda演算的一个简明教程，只有17页。