Supercombinator: Difference between revisions

Revision as of 04:20, 19 November 2006

Revision as of 13:57, 17 January 2007

Line 5:

:A supercombinator, $S of arity n is a [[lambda]] expression of the form

:λx₁.λx₂...λx_n.E

:where ''E'' is not a lambda abstraction, such that:

:i)# $''S'' has no free variables.

:ii)# any lambda abstraction in ''E'' is a supercombinator.

:iii)# ''n'' >=≥ 0, so that lambdas are not required.

==References==