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:
“There are instances when we are like horses, we psychologists, and grow restless: we see our own shadow wavering up and down before us. A psychologist must look away from himself in order to see anything at all.”
—Friedrich Nietzsche (1844–1900)
“This is one of those instances in which the individual genius is found to consent, as indeed it always does, at last, with the universal.”
—Henry David Thoreau (1817–1862)