Jump to content

Lambda Calculus/Syntax

From Wikibooks, open books for an open world

in Wirth Syntax notation:

EXPRESSION = ABSRACTION
           | APPLICATION
           | variable .
ABSRACTION = "λ" variable "." EXPRESSION .
APPLICATION= "(" EXPRESSION EXPRESSION ")"

var is usually one of abcdefghijklmnopqrstuvwxyz.

λ is usually L in ASCII.