Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
lambda_calculus [2008/05/27 14:35] vkuncak |
lambda_calculus [2015/04/21 17:32] (current) |
||
|---|---|---|---|
| Line 20: | Line 20: | ||
| Untyped lambda expressions are given by following grammar: | Untyped lambda expressions are given by following grammar: | ||
| - | \[\begin{array}{l} | + | \begin{equation*}\begin{array}{l} |
| T ::= v \mid \lambda v.T \mid T\, T \\ | T ::= v \mid \lambda v.T \mid T\, T \\ | ||
| v ::= v_1 \mid v_2 \mid ... | v ::= v_1 \mid v_2 \mid ... | ||
| - | \end{array}\] | + | \end{array}\end{equation*} |
| That is, an expression is a variable, a lambda expression defining a function, or an application of one expression to another. | That is, an expression is a variable, a lambda expression defining a function, or an application of one expression to another. | ||