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 federal P. ramorum quarantine program implemented by USDA APHIS, nurseries in California, Oregon, and Washington are regulated and must participate in an annual inspection regime ; nurseries in the fourteen infested counties in coastal California, plus the limited infested area in Curry County, Oregon, must participate in a more stringent inspection schedule when shipping out of this area.

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

Under the Curry – Howard isomorphism, Peirce's law is the type of continuation operators, e. g. call / cc in Scheme.

Under Parthian and Sassanian Iranian empires, scholars concentrated on exchanging knowledge and inventions by the countries around them – India, China, and the Roman Empire, when it is thought to be expanded over the other countries.

* 1972 – Kevin Plank, American businessman, founded Under Armour

* 2005 – Under international pressure, Syria withdraws the last of its 14, 000 troop military garrison in Lebanon, ending its 29-year military domination of that country ( Syrian occupation of Lebanon ).

Under one of these emperors, Romanos IV Diogenes ( 1067 – 1071 ), Alexios served with distinction against the Seljuq Turks.

Under Michael VII Doukas Parapinakes ( 1071 – 1078 ) and Nikephoros III Botaneiates ( 1078 – 1081 ), he was also employed, along with his elder brother Isaac, against rebels in Asia Minor, Thrace, and in Epirus.

Under Seleucid rule ( 330 BC – approximately 150 BC ), however, Aramaic gave way to Greek as the official administrative language.

Under normal unstressed conditions, the human adrenal glands produce the equivalent of 35 – 40 mg of cortisone acetate per day.

* 1755 – Under the orders of Charles Lawrence, the British Army begins to forcibly deport the Acadians from Nova Scotia to the Thirteen Colonies.

Under the management of Luigi Barbesino, the Roman club came close to their first title in 1935 – 36 ; finishing just one point behind champions Bologna.

* – both of Young's books were commissioned by the U. S. Department of Defense, Office of the Deputy Under Secretary of Defense ( Installations and Environment )

Under the influence of Richard Strauss ( among other works Also sprach Zarathustra ) ( Stevens 1993, 15 – 17

Under Pope Paul V ( reigned 1605 – 1621 ), a major conflict arose between Venice and the Papacy.

Under the Comnenian dynasty ( 1081 – 1185 ), Byzantium staged a remarkable recovery.

Under Pope Julius III, the Council met in Trent ( 1551 – 52 ) for the twelfth through sixteenth sessions, and under Pope Pius IV, the seventeenth through twenty-fifth sessions took place in Trent ( 1559 – 63 ).

Under Pope Clement VII ( 1523 – 34 ), troops of the Catholic Holy Roman Emperor Charles V sacked Papal Rome in 1527, “ raping, killing, burning, stealing, the like had not been seen since the Vandals ”.

Under unspecific or impersonal coercion the conditional threats come from well-known and socially accepted general rules and – rather than any individual or sub-group – and are directed against anybody in the stated conditions, according to clearly stated principles of due process.

Under client – server, should a critical server fail, clients ’ requests cannot be fulfilled by this failed entity, but may be taken by another parallel server which has access to the same data as the failed entity.

Under Docherty's successor, Dave Sexton, Chelsea won the FA Cup in 1970, beating Leeds United 2 – 1 in a final replay.

Under Mourinho, Chelsea became the fifth English team to win back-to-back league championships since the Second World War ( 2004 – 05 and 2005 – 06 ), in addition to winning an FA Cup ( 2007 ) and two League Cups ( 2005 and 2007 ).

Under caretaker manager Roberto Di Matteo, Chelsea won their seventh FA Cup, and their first UEFA Champions League title, beating Bayern Munich 4 – 3 on penalties, the first London club to win the trophy.

Under Howard, the Coalition moved ahead of Labor in opinion polls and Keating was unable to wrest back the lead.

( Under the library's sponsorship, a campaign called " Choose Civility " started in Howard County in 2006.

Under the leadership of Howard Tommie, the Seminole Tribe of Florida built a large high-stakes bingo building on their reservation near Fort Lauderdale, Florida.

Under former Prime Minister Howard, a monarchist, the government initiated a process to settle the republican debate, involving a constitutional convention and a referendum.

Under the leadership of then Vice Chancellor, Sir Howard Newby the university became more focused in encouraging and investment in more and better quality research.

Under the Howards the castle was extensively modernised ; fashionable brick was used to improve parts of the castle ; ornamental chimneys were added ; the battlements were reduced in size to exaggerate the apparent height of the walls, and the Howard coat of arms was added to the gatehouse.

They have begun recording their latest album, titled Under Your Skin, with Howard Benson.

Henry moved to Maui in 1971 thus establishing himself in all the show rooms in the hotels and produced many jazz concerts over the years with the likes of Shorty Rodgers, Bud Shank, Lonne Smith, Gary Grant, Jay Leno Horns ,( Chuck Findley, Ralph Moore, Slyde Richard Hyde ) Gabe Baltazar and a series for Lana ' i, called Jazz Under the Stars, of which the famous Howard Rumsey of the Hermosa Beach Light House fame was a part.

Although he never returned to Broadway, he remained active in theatre, appearing in such productions as Under the Yum Yum Tree, The Moon Is Blue, John Loves Mary ( with his then wife, Joyce Bulifant ), Barefoot in the Park and Murder at the Howard Johnson's.

: For the U. S. Under Secretary of the Navy, see J. Daniel Howard.

** Alan Menken ( composer ) & Howard Ashman ( lyricist ) for " Under the Sea " performed by various artists

* The Little Mermaid-Alan Menken ( composer ); Howard Ashman ( lyricist )-For the song " Under the Sea "

Under Iain Duncan Smith, he became the Shadow Secretary of State for Northern Ireland, continuing until the election of Michael Howard in 2003, when he became a member of the International Development Committee, a role that he continued in until he joined the Labour Party in 2007.

Under the leadership of Michael Howard, Paice was appointed Shadow Minister for Home, Constitutional and Legal Affairs.

For the first time, the Razzies had a tie for Worst Picture, between Howard the Duck and Under the Cherry Moon.

Under the stewardship of Howard Burton, the Institute's first Executive Director, PI initially operated out of Waterloo's historic post office on King Street.

Under James I, Howard immediately entered the King's favour, being appointed Lord Chamberlain on 6 April 1603 and a Privy Counsellor on 7 April.

Under Howard Jr .' s ownership, Hughes Tool ventured into the motion picture business via Hughes Productions during the 1920s, and into the airline business in 1939 with the acquisition of a controlling interest in Transcontinental and Western Air ( later renamed Trans World Airlines ).

" Under pressure from camp officials, on three occasions Howard denied he had taken the extra pair of shoes.

Under Perkins and Jordan's successor as chief rod builder, Howard Steere, Orvis became the world's largest and most versatile manufacturer of high-quality fly rods and reels.

* The Partnership: The Inside Story of the US-Australian Alliance Under Howard and Bush ( UNSW Press, 2006 ; ISBN 0-86840-922-7 )