Concept:
Church encoding
Language:
Lambda calculus
Headline
A formal system for expressing computation by way of variable binding and substitution
Details
Obviously, one may argue whether the lambda calculus is a software language.
Encoding of data and operations in language:Lambda calculus
A formal system for expressing computation by way of variable binding and substitution
Obviously, one may argue whether the lambda calculus is a software language.