Syntax of the Lambda Calculus

expr ::= var

expr ::= ? var . expr

expr ::= expr expr

expr ::= ( expr )

var ::= x | y | z | f | n

var ::= var ?

Previous slide

Next slide

Back to first slide

View graphic version