outermost reduction
Смотреть что такое "outermost reduction" в других словарях:
Graph reduction — In computer science, graph reduction implements an efficient version of non strict evaluation, an evaluation strategy where the arguments to a function are not immediately evaluated. This form of non strict evaluation is also known as lazy… … Wikipedia
angiosperm — /an jee euh sperrm /, n. Bot. a plant having its seeds enclosed in an ovary; a flowering plant. Cf. gymnosperm. [ANGIO + SPERM] * * * ▪ plant Introduction any member of the more than 300,000 species of flowering plants (division Anthophyta) … Universalium
nitrogen group element — ▪ chemical elements Introduction any of the chemical elements that constitute Group Va of the periodic table (see Figure >). The group consists of nitrogen (N), phosphorus (P), arsenic (As), antimony (Sb), and bismuth (Bi). The elements share… … Universalium
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
eye, human — ▪ anatomy Introduction specialized sense organ capable of receiving visual images, which are then carried to the brain. Anatomy of the visual apparatus Structures auxiliary to the eye The orbit The eye is protected from mechanical injury… … Universalium
chemical compound — Introduction any substance composed of identical molecules consisting of atoms (atom) of two or more chemical elements (chemical element). All the matter in the universe is composed of the atoms of more than 100 different chemical elements … Universalium
India — /in dee euh/, n. 1. Hindi, Bharat. a republic in S Asia: a union comprising 25 states and 7 union territories; formerly a British colony; gained independence Aug. 15, 1947; became a republic within the Commonwealth of Nations Jan. 26, 1950.… … Universalium
ionosphere and magnetosphere — ▪ atmospheric science Introduction regions of Earth s (Earth) atmosphere in which the number of electrically charged particles ions (ion) and electrons (electron) are large enough to affect the propagation of radio waves (electromagnetic… … Universalium
Evaluation strategy — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation … Wikipedia
bivalve — bivalvular /buy val vyeuh leuhr/, adj. /buy valv /, n. 1. Also called lamellibranch. Zool. any mollusk, as the oyster, clam, scallop, or mussel, of the class Bivalvia, having two shells hinged together, a soft body, and lamellate gills. adj. 2.… … Universalium
Normal form (abstract rewriting) — In abstract rewriting, a normal form is an element of the system which cannot be rewritten any further. Stated formally, for some reduction relation ⋅ → ⋅ over X a term t in X is a normal form if there does not exist a term t′ in X such … Wikipedia
