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)
“There are no instances known to me of cultures having forsaken Truth or renounced the understanding in its widest sense.”
—Johan Huizinga (1872–1945)