Peter J. Landin defined the term closure in 1964 as having an environment part and a control part as used by his SECD machine for evaluating expressions.

Joel Moses credits Landin with introducing the term closure to refer to a lambda expression whose open bindings ( free variables ) have been closed by ( or bound in ) the lexical environment, resulting in a closed expression, or closure.

So, a collection of functions with given signatures generate a free algebra, the term algebra T. Given a set of equational identities ( the axioms ), one may consider their symmetric, transitive closure E. The quotient algebra T / E is then the algebraic structure or variety.

In the short term this led to a 39 % reduction in the number of prisons in England, including some famous castle prisons such as Norwich ; over the coming years, centralisation and changes in prison design led to the closure of most remaining castle prisons.

The term cognitive closure has been defined as " a desire for definite knowledge on some issue and the eschewal of confusion and ambiguity.

This is a term sometimes used to describe the premature closure of the coronal suture plus any other suture, like the lambdoid, or it may be used to describe the premature fusing of all sutures.

Several months after the closure of ECW, Van Dam was signed to a short term contract by the World Wrestling Federation ( WWF ).

The perfection of a ring A of characteristic p is the dual notion ( though this term is sometimes used for the perfect closure ).

The term normal closure is used in two senses in mathematics:

On January 14, 2009, residents and families of the long term care unit ( LTCU ) were notified by mail of the closure and imminent re-location of elderly and handicapped residents under the care of the MPTF.

During this term, the government closed 28 hospitals and fired more than 6, 000 nurses, but was also able to negotiate an agreement to exempt rural and northern hospitals from closure, including four in the Niagara region.

During his term of office, there was controversy over the closure, on economic grounds, of a number of departments including Physics and Health and Social care.

Miller stated in interviews that this closure was voluntary, resulting from burnout after years of producing games very rapidly, a pace that he believed that they could not sustain in the long term.

The closure of these facilities, along with the general decline in ICI's presence in the town has had a devastating long term effect on the town's economy.

Immediately prior to its closure, the centre detained short term sentenced and remand inmates, operated as a transient centre, and was the periodic detention centre for metropolitan Sydney.

During his second term, he applauded Thomas Jefferson's purchase of Louisiana from France as a means of dealing with the closure of the port at New Orleans to U. S. goods.

Eusebius in his Church History written c. 325 used the term for those Christian scriptures that were " disputed " or literally those works which were " spoken against " in Early Christianity, before the closure of the New Testament canon.

Structural closure in term babies occurs within 3 to 7 days.

On 27 August 2005, Beddoes spoke out against calls by some for the closure of loopholes in the Penal Code which had allowed the release of two men, one a Fijian citizen and the other a foreigner, who had been sentenced to a prison term on 5 April for homosexual acts.

Squeeze flow is the term used to describe cavitation that is said to occur as the occluder approaches the housing during closure and fluid is squeezed between the occluder and the valve housing causing a low pressure formation.

It became the sole `` subject '' of `` international law '' ( a term which, it is pertinent to remember, was coined by Bentham ), a body of legal principle which by and large was made up of what Western nations could do in the world arena.

So in these pages the term `` technology '' is used to include any and all means which could amplify, project, or augment man's control over himself and over other men.

It is of the utmost importance to the people of America and of the world how their governing President `` ends up '' during the four years of his term.

Only when that term is ended and he is a private citizen again can he be permitted the freedom and the courage to discount the dangers of his death.

`` I may possibly be a greater risk than is the normal person of my age '', the President had said on February 29th of the election year, ignoring the fact that no one of his age had ever lived out another term.

Let us not confuse the issue by labeling the objective or the method `` psychoanalytic '', for this is a well established term of art for the specific ideas and procedures initiated by Sigmund Freud and his followers for the study and treatment of disordered personalities.

Mr. Wagner might or might not be a `` new '' Mayor in this third term, now that he is free of the pressure of those party leaders whom he calls `` bosses ''.

This is done at varying speeds, ranging from the slow and fast Shifte Telli ( a musical term meaning double strings ) to the fastest, ecstatic Karshilama ( meaning greetings or welcome ).

the term of loans for working capital is 6 years.

Interim financing of construction costs is provided by a short term loan from The Chase Manhattan Bank.

For the near term, however, it must be realized that the industrial and commercial market is somewhat more sensitive to general business conditions than is the military market, and for this reason I would expect that any gain in 1961 may be somewhat smaller than those of recent years ; ;

If you would feel happier with full collision insurance, there is a small additional charge, again varying from country to country and depending on the term of such insurance.

The collective by which I address you in the title above is neither patronizing nor jocose but an exact industrial term in use among professional thieves.

for, using the fact that N and N' commute Af and so when R is sufficiently large every term in this expression for Af will be 0.

The only other one I shall mention here is his use of the term capitalism.

This is not, however, the case, and development is a term which we can apply to Hardy only in a very limited sense.

`` Disaffiliation '', by the way, is the term used by the critic and poet, Lawrence Lipton, who has written several articles on this subject, the first of which, in The Nation, quoted as Epigraph: `` We disaffiliate.

This term refers to the ability of a material to resist bending stress and is determined by measuring the load required to cause failure by bending.

Incumbent Richard Salter seeks re-election and is opposed by Donald Huffman for the five-year term.

The term " anthropology " is from the Greek anthrōpos (), " man ", understood to mean humankind or humanity, and-logia (- λογία ), " discourse " or " study.

In some European countries, all cultural anthropology is known as ethnology ( a term coined and defined by Adam F. Kollár in 1783 ).

As amoebas themselves are polyphyletic and subject to some imprecision in definition, the term " amoeboid " does not provide identification of an organism, and is better understood as description of locomotion.