表示式

${\displaystyle \lambda }$演算有著一個更有趣的推論，在某些情況之下，兩個表示式的等值與否是無法決定的。而且這個推論在任一和${\displaystyle \lambda }$演算有同樣功用的系統內也都是成立的。

外部連結

• Axiomatic Theory of Formulas - theory of expressions on high abstraction level.
• Plot mathematical expressions this system plots math equations, graphs, diagrams, and even animated cartoons of transformation of math expressions and arithmetic operations. Knowledge of TeX not required.