Under the Curry – Howard correspondence, the existence of currying and uncurrying is equivalent to the logical theorem, as tuples ( product type ) corresponds to conjunction in logic, and function type corresponds to implication.

Under the Curry – Howard correspondence, the above conversion process for the deduction meta-theorem is analogous to the conversion process from lambda calculus terms to terms of combinatory logic, where axiom 1 corresponds to the K combinator, and axiom 2 corresponds to the S combinator.

Under the millet logic, a converted Greek, although retaining culture and language, was classified simply as " Muslim ".

Under the Curry – Howard isomorphism, System F corresponds to the fragment of second-order intuitionistic logic that uses only universal quantification.

Under most implementations the correct method address must be looked up by name with each call, requiring relatively expensive dictionary search and possibly overload resolution logic.

Under the sponsorship of the Office of Naval Research and the Advanced Research Projects Agency, a data center was established to gather and index all published information on atomic transition probabilities.

Under the new rules, testimony is taken orally in open court in all cases except those of an extraordinary character.

Under the capable direction of the choir's founder, Geroge Bragg, the twenty-six boys made some lovely sounds in an opening group of Renaissance and Baroque madrigals and motets, excerpts from Pergolesi's `` Stabat Mater '' and all of the Britten `` Ceremonial Of Carols ''.

Under the Articles, the states retained sovereignty over all governmental functions not specifically relinquished to the national government.

Under Title III of the ADA, all " new construction " ( construction, modification or alterations ) after the effective date of the ADA ( approximately July 1992 ) must be fully compliant with the Americans With Disabilities Act Accessibility Guidelines ( ADAAG ) found in the Code of Federal Regulations at 28 C. F. R., Part 36, Appendix " A ".

Under the North American Numbering Plan, almost all North American area codes reserve telephone numbers beginning with 958 and 959 for internal local and long distance testing ( respectively ), sometimes called plant testing.

Under normal conditions, diamond has the highest thermal conductivity of all known materials.

Under his watch, the Browns won the AAFC championship in all four years of its existence, including the AAFC's only perfect season in 1948, and continued to succeed after moving to the NFL in 1950.

Under Tommy Trinder's chairmanship in the 60's, flags of all other teams in the Division 1 were proudly flown along the Thames.

Chiang Kai-shek considered both the Han Chinese and all the minority peoples of China, the Five Races Under One Union, as descendants of Huangdi, the Yellow Emperor and semi mythical founder of the Chinese nation, and belonging to the Chinese Nation Zhonghua Minzu and he introduced this into Kuomintang ideology, which was propagated into the educational system of the Republic of China.

Under the current qualifying process, the World Cricket League, all 91 Associate and Affiliate members of the ICC are able to qualify for the World Cup.

Under Khrushchev, an investigation into the matter concluded that the Central Committee had lost its ruling function under Stalin ; from 1929 onwards all decisions in the Central Committee were taken unanimously.

Under the status quo, the Eastern Orthodox, Roman Catholic, and Armenian Apostolic Churches all have rights to the interior of the tomb, and all three communities celebrate the Divine Liturgy or Holy Mass there daily.

Under the status quo, no part of what is designated as common territory may be so much as rearranged without consent from all communities.

Under Laurent Kabila's regime, all executive, legislative, and military powers were first vested in the President, Laurent-Désiré Kabila.

Under the governance of the jurists Gregorius, Aurelius Arcadius Charisius, and Hermogenianus, the imperial government began issuing official books of precedent, collecting and listing all the rescripts that had been issued from the reign of Hadrian ( r. 117 – 38 ) to the reign of Diocletian.

Under Fakhr-al-Dīn II ( Fakhreddin II ), the Druze dominion increased until it included almost all Syria, extending from the edge of the Antioch plain in the north to Safad in the south, with a part of the Syrian desert dominated by Fakhr-al-Din's castle at Tadmur ( Palmyra ), the ancient capital of Zenobia.

Under the Design, all churches in the 1968 yearbook of Christian Churches ( Disciples of Christ ) were automatically recognized as part of the Christian Church ( Disciples of Christ ).

Under the auspices of Humbert of Romans, Albert molded the curriculum of studies for all Dominican students, introduced Aristotle to the classroom and probed the work of Neoplatonists, such as Plotinus.

Under this relation,, and all represent the same element of.

Under Mortimer J. Adler ( member of the Board of Editors of Encyclopædia Britannica since its inception in 1949, and its chair from 1974 ; director of editorial planning for the 15th edition of Britannica from 1965 ), the Britannica sought not only to be a good reference work and educational tool but to systematise all human knowledge.

Under Ron Greenwood they managed to qualify for the 1982 World Cup in Spain ( the first time competitively since 1962 ), but were eliminated from a second qualifying round comprising further group matches without losing a game all tournament.

Under Capello, England won all but one of their qualifying games for the 2010 World Cup.

Under the banner of Christian Social Party, he later on established a one-party dictatorship rule largely modeled after fascism in Italy, banning all other Austrian parties including the Social Democratic Labour Party ( SDAPÖ ).

Under East Timorese law, only the military and police forces may legally possess, carry and use firearms.

Under Moi, the apparatus of clientage and control was underpinned by the system of powerful provincial commissioners, each with a bureaucratic hierarchy based on chiefs ( and their police ) that was more powerful than the elected members of parliament.

Under the United States occupation at the end of World War II all armed forces in occupied Japan were disbanded and production of nihontō with edges was banned except under police or government permit.

Under Prince Louis ' secret orders, the Monaco police, often at great risk to themselves, warned in advance those people whom the Gestapo planned to arrest.

Under the same ordinance, any police officer, health officer, members of the Civil Aid Service or Auxiliary Medical Service can arrest a person who obstructs or escape from detention.

Under the narrow definition, racial profiling occurs when a police officer stops, questions, arrests, and / or searches someone solely on the basis of the person's race or ethnicity ...

Under the broader definition, racial profiling occurs whenever police routinely use race as a factor that, along with an accumulation of other factors, causes an officer to react with suspicion and take action.

Under pressure from the left, the Chang government carried out a series of purges of military and police officials who had been involved in anti-democratic activities or corruption.

Under the 1987 statute, the Guard of the Rock are all enrolled as ' Criminal Police Officers ' ( in addition to their military role ) and act to assist the police in investigating major crime.

* Under Suspicion ( TV series ), an American television police drama

* December 1 – Under the County and Borough Police Act, in any county or area of England and Wales where a police force has not already been established, the Justices of the Peace must from this date take steps to create one according to nationally defined standards.

Under threat of heavy torture, Gu gave the KMT secret police detailed accounts of underground CCP organizations in Wuhan, leading to the arrest and executions of over ten senior CCP leaders in the city.

Under hegemony, rebellion ( social, political, economic, armed ) is eliminated either by co-optation of the rebels or by suppression ( police and military ), without direct intervention by the hegemon ; the examples are the latter-stage Spanish and British empires, and the 19th-and 20th-century reichs of unified Germany ( 1871 – 1945 ).

Under the police power rights, state governments may exercise over private real property.

Under Louis XV and XVI, the Bastille was used to detain prisoners from more varied backgrounds, and to support the operations of the Parisian police, especially in enforcing government censorship of the printed media.

Under provincial and municipal contracts the RCMP provides front-line policing in all areas outside of Ontario and Quebec that do not have an established local police force.

Under its National Police Services branch the RCMP provides support to all police forces in Canada through the operation of support services such as the Canadian Police Information Centre, the Criminal Intelligence Service Canada, Forensic Science and Identification Services, the Canadian Firearms Program and the Canadian Police College.

Under the orders of Interior Minister Manuel Fraga, the police stormed on a shooting spree into a packed church into which demonstrators had retreated, resulting in five dead and over 100 wounded.

David Cassidy: Man Under Cover is an American police drama starring David Cassidy, four years after his run starring in the The Partridge Family.

Under the leadership of the first mayor, S. L. Davis and the first police chief, James Duran, police protection was restored to the area.

Under the leadership of the first mayor, S. L. Davis and the first police chief, James Duran, police protection was restored to the area.

Under the new law, the DPS was to " perform the functions of, and have all the rights, responsibilities and duties of, a police department, a fire department, and any other department deemed by the governing body of the city to be necessary for the public safety of its citizens.

Under the leadership of the former mayor, the late Roman Ward, the police department was reinstated, the water lines were repaired / replaced, and a grant was accepted from the Cherokee Nation to repave the streets.