Other Instances
Function application in the lambda calculus is expressed by β-reduction.
The Curry-Howard correspondence relates function application to the logical rule of modus ponens.
Read more about this topic: Function Application
Famous quotes containing the word instances:
“Do not be discouraged, if in a thousand instances you find your kindness rejected and wronged, your good evil-spoken of, and the hand you extend for the relief of others, cast insultingly away; the benevolence which cannot outlive these trials of its purity and strength, is not like the self-sacrifice of him, who went about doing good.”
—C., U.S. women’s magazine contributor. American Ladies Magazine, pp. 331-4 (July 1828)
“Our Last Will and Testament, providing for the only future of which we can be reasonably certain, namely our own death, shows that the Will’s need to will is no less strong than Reason’s need to think; in both instances the mind transcends its own natural limitations, either by asking unanswerable questions or by projecting itself into a future which, for the willing subject, will never be.”
—Hannah Arendt (1906–1975)