Programming Language Theory: Difference between revisions
| Line 23: | Line 23: | ||
===Untyped λ-calculus=== | ===Untyped λ-calculus=== | ||
λ-term ::= λ-app | λ-abst | ''var'' | |||
λ-app ::= λ-term λ-term | |||
λ-abst ::= 'λ'''var'''.' λ-term | |||
Two operators (function ''definition'' and ''application'') upon one operand type (λ-expression). | Two operators (function ''definition'' and ''application'') upon one operand type (λ-expression). | ||
* Function definition: <tt>(λ''boundparam''. body)</tt> | * Function definition: <tt>(λ''boundparam''. body)</tt> | ||