Revision as of 02:59, 25 June 2007 edit 24.61.13.7 (talk) No edit summary ← Previous edit		Revision as of 02:59, 25 June 2007 edit undo 24.61.13.7 (talk) No edit summary Next edit →
Line 3: It may be defined, in mathematical terms, as the following: :A supercombinator, $''S$'' of arity n is a [[lambda]] expression of the form :λx<sub>1</sub>.λx<sub>2</sub>...λx<sub>n</sub>.E :where ''E'' is not a lambda abstraction, such that:

Supercombinator: Difference between revisions