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:
“What instances must pass before them of ardent, disinterested, self-denying attachment, of heroism, fortitude, patience, resignation—of all the conflicts and the sacrifices that enno ble us most. A sick room may often furnish the worth of volumes.”
—Jane Austen (1775–1817)
“There are no instances known to me of cultures having forsaken Truth or renounced the understanding in its widest sense.”
—Johan Huizinga (1872–1945)