Lambda-Calculus An introduction to lambda calculus in Chinese, including an interpreter in Haskell. All Rights Reserved.