Lambda Calculus/Syntax
| Was this page created by accident or as a test? Please improve the educational quality of this page, and clarify what the intentions are on the discussion page so other people may contribute. The page might be able to remain at Wikibooks after 7 days when further development is likely.
Please consider notifying the author(s) with {{subst:Query notice|Lambda Calculus/Syntax|~~~~}} |
EXPRESSION = ABSRACTION
| APPLICATION
| variable .
ABSRACTION = "λ" variable "." EXPRESSION .
APPLICATION= "(" EXPRESSION EXPRESSION ")"
var is usually one of abcdefghijklmnopqrstuvwxyz.
λ is usually L in ASCII.