Help


[permalink] [id link]
+
Page "Lambda calculus" ¶ 49
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

captures and intuition
Contravariance captures the physical intuition behind the idea that a vector has " magnitude and direction ".
It captures, one might say, almost everything in the intuition of continuity, in a technically adequate form that can be applied in any area of mathematics.
Order theory captures the intuition of orders that arises from such examples in a general setting.

captures and particular
The flower has long been associated with human manner, as one man cleverly stated: “ Nature sports as much with the colours of this little flower as she does with the features of the human countenance .” The pansy ’ s particular connection to human thought and emotion is mirrored in one Dr. Evan ’ s poems, where he captures the whimsical, yet deep emotional roots of the pansy ’ s symbolism: “ Pied Pansy ,-once a vestal fair / In Cerestrain ,-now droops-/ Stained by the bolt of love her purple breast ,/ And ‘ freaked with jet ’ her party-colored vest ”.
The first, called narrow transcription, captures the details of conversational interaction such as which particular words are stressed, which words are spoken with increased loudness, points at which the turns-at-talk overlap, how particular words are articulated, and so on.
The term ideograph was coined by rhetorical scholar and critic Michael Calvin McGee describing the use of particular words and phrases as political language in a way that captures ( as well as creates or reinforces ) particular ideological positions.
In the Musik-Lexicon of 1882, Hugo Riemann states that “ to meditations we are indebted for the modern concept of tonality … he found himself emancipated from the spirit of a particular age, and able to render justice to all the various styles of music .” Though some other theorists, most notably Matthew Shirlaw, have had decidedly negative views, Riemann ’ s assessment captures the two key features of Fétis ’ text.
From this point of view, the creation of a decision includes agreeing to objectives, developing a detailed specification, and then creating a decision model, which captures the key cause-and-effect elements of the decision environment ( a systems thinking approach ) with a focus on the particular decision, instead of the entire system ( which can be otherwise intractable ).
Picard captures the Ktarian vessel responsible for distributing the games and has it towed to the nearest spacedock, putting an end to this particular alien threat.
IfcTypeObject captures type definitions ( or templates ) such as a product type having a particular model number and common shape.
In particular, in reference to the seventh challenge listed above, Stuart Campbell wrote in his review that the game doesn't take into account that the random new items filling the places of the captured animals can inadvertently generate new captures, making your challenge impossible.
When the user requests a particular page the decoder simply waits for it to be sent, and then captures it for display.
In particular, Simon Reynolds of The New York Times praised the song generally " The title of “ Violently Happy ” captures the Björk effect perfectly: a gush and rush of euphoria, a tidal wave of oceanic feeling.

captures and choice
When Bohan's army captures her father and corners her in a retreat from the clan's city, Nariko has no choice but to wield the sword to defend herself in order to escape.

captures and bound
Bounded completeness then yields the existence of a least upper bound of any " consistent " subset, which can be regarded as the most general piece of information that captures all the knowledge present within this subset.

captures and variable
The " quantifying in " idiom captures the notion that the variable-binding operator ( for example, the existential quantifier ' something ') reaches into, so to speak, the non-extensional context to bind the variable occurring within its scope.

captures and lambda
Typed lambda calculi play an important role in the design of type systems for programming languages ; here typability usually captures desirable properties of the program, e. g. the program will not cause a memory access violation.

captures and abstraction
Distributed data flows have also been proposed as a programming abstraction that captures the dynamics of distributed multi-protocols.

captures and doesn't
Stephen Thomas Erlewine wrote that " Pigwalk captures the pummelling power of the band's intense live shows, yet the group doesn't yet have the ability to construct a memorable riff or hook, leaving Pigwalk as an entertaining, but uncompelling, cross of Rage Against the Machine and Pantera.
This is because the screen capture routine doesn't consider the special video memory regions dedicated to overlays-it simply captures the shared main screen as rendered by the software's graphical subsystem.
Meanwhile, Raja Hardyal Singh captures Renu's father and forces him to get Renu married to his brother, threatening to kill Manmohan if he doesn't.

captures and usually
Depending upon the design, usually an ascending edge ( trigger ), captures the value of the voltage at the input, and outputs this voltage.
In neoclassical economics, the rate of time preference is usually taken as a parameter in an individual's utility function which captures the trade off between consumption today and consumption in the future, and is thus exogenous and subjective.
In the United States, for example, toll free numbers usually capture the telephone number of the caller through automatic number identification, which is independent of caller ID data and captures caller information even if caller ID is blocked.
A pickup device is a transducer that captures mechanical vibrations, usually from suitably equipped stringed instruments such as the electric guitar, electric bass guitar, Chapman Stick, or electric violin, and converts them to an electrical signal that is amplified, recorded, or broadcast.

captures and matter
Camille Souter captures light and color, texture and form in intimate almost abstract paintings of unexpected subjects, her subject matter has included landscapes, still lifes and slaughterhouses.
How the ostensibly weak-swimming frilled shark captures active, fast-moving squid is a matter of speculation.
A good picture invariably captures the eye, and if it is of sufficient interest, may be relied upon to induce the reader to pursue the matter further.
Electrostatic precipitators or fabric filters remove particulate matter and flue-gas desulfurization captures the sulfur dioxide produced by burning fossil fuels, particularly coal.

captures and .
Carried high on this `` charge '', he composes `` magical '' poetry that captures the organic rhythms of life in words.
Sherman laid great store by place captures.
* 1801 – First Barbary War: The American schooner captures the Tripolitan polacca Tripoli in a single-ship action off the coast of modern-day Libya.
* 1601 – Long War: Austria captures Transylvania in the Battle of Goroszló.
* 1018 – Byzantine general Eustathios Daphnomeles blinds and captures Ibatzes of Bulgaria by a ruse, thereby ending Bulgarian resistance against Emperor Basil II's conquest of Bulgaria.
* 1613 – Samuel Argall captures Native American princess Pocahontas in Passapatanzy, Virginia to ransom her for some English prisoners held by her father.
* 1839 – The United Kingdom captures Hong Kong as a base as it prepares for war with Qing China.
* 1864 – The Union Navy captures Fort Morgan, Alabama, thus breaking Confederate dominance of all ports on the Gulf of Mexico except Galveston, Texas.
* 1898 – Spanish-American War: The United States Navy begins a blockade of Cuban ports and the captures a Spanish merchant ship.
* 1755 – Commodore William James captures the pirate fortress of Suvarnadurg on west coast of India.
* 1861 – American Civil War: US Navy squadron captures forts at Hatteras Inlet, North Carolina.
The Khmer Rouge captures the capital Phnom Penh and Cambodian government forces surrender.
* 1677 – The French army captures the town of Cambrai held by Spanish troops.
* 1776 – Captain John Barry and the captures the Edward.
A green roof captures precipitation and uses the water to grow plants.
This type of algebraic structure captures essential properties of both set operations and logic operations.
David captures Jerusalem and brings the Ark there.
In an advance of 65 miles ( 105 km ), captures were " estimated at at least 25, 000 prisoners and 260 guns.
Once executed, the worm replicates by sending copies of itself to other e-mail addresses found on the host's machine, and installs a keystroke logger, which then captures everything typed on the affected computer.
Under typical conditions found in stellar plasmas, catalytic hydrogen burning by the CNO cycles is limited by proton captures.
The total derivative is a linear transformation that captures how the function changes in all directions.
The volume of water the Casiquiare captures from the Orinoco is small in comparison to what it accumulates in its course.
The board is tightly packed at the start of the game ; as more pieces are captured, the board frees up, often allowing multiple captures to take place in a single move.
Style modeling implies building a computational representation of the musical surface that captures important stylistic features from data.
These duties included the administration of justice with the Episcopal court, the negotiation of ransom for captures, teaching and preaching to the masses, converting non-believers, offering spiritual guidance, maintaining political duties, and many other important duties.

1.399 seconds.