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 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.

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.

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 the Curry – Howard isomorphism, System F corresponds to the fragment of second-order intuitionistic logic that uses only universal quantification.

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

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

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 )

Under the leadership of Reed and Robertson, the Coalition quickly became the most prominent voice in the conservative Christian movement, its influence culminating with an effort to support the election of a conservative Christian to the presidency in 1996.

Under the supervision of chief executive of Coalition Provisional Authority L. Paul Bremer, a convention was held on May 24, 2003 to select the first City Council in the history of this oil-rich, ethnically divided city.

The election of the Conservative and Liberal Democrat Coalition into Government in 2010 saw Blunt gain a position as a Parliamentary Under Secretary of State for the Ministry of Justice.

Under the direction of Ambassador L. Paul Bremer III as the Administrator, the Coalition Provisional Authority ( CPA ) began issuing radio and television licenses in June 2003 to meet the great demand for broadcasting licenses.

Following the Conservative – Liberal Democrat Coalition Agreement, after the 2010 general election, Davey was appointed Parliamentary Under Secretary of State in the Department for Business, Innovation and Skills with responsibility for Employment Relations, Consumer and Postal Affairs.

Under the 2011 Coalition Government draft proposal for Lords reform, the Lords would be either 80 % elected and 20 % appointed, or 100 % elected.

Over 100 national and local groups endorsed the findings of " 50 Under 30 ," which was also adopted by members of the Hate Crimes Coalition on Capitol Hill, and provided by HRC to members of sub-committee that marked up the Mathew Shepherd Hate Crimes Act.

Under John Howard, the Coalition won the 1996 Federal Election and set the Convention date for February 1998.

Under his leadership the Coalition for Bulgaria ( a coalition dominated by the BSP ) won 31 % of the votes.

Under Soviet rule, both the villages were forced to disband and residents were moved to the Russian dominated Zaporozhye rural settlement in Ust-Bolsheretsky Raion.

Under the administration of Félix Éboué, France's first black colonial governor, a military column, commanded by Colonel Philippe Leclerc de Hauteclocque, and including two battalions of Sara troops, moved north from N ' Djamena ( then Fort Lamy ) to engage Axis forces in Libya, where, in partnership with the British Army's Long Range Desert Group, they captured Kufra.

Under the terms of the peace treaty Rome's borders moved north to Philae and the two tribes received an annual gold stipend.

In September Thomas and Caitlin moved to New Quay in West Wales which inspired Thomas to pen the radio piece Quite Early One Morning, a sketch for his later work, Under Milk Wood.

Under Suharto, Indonesia had moved toward private provision of public infrastructure, including electric power, toll roads, and telecommunications.

Under the assize, a jury of free men was charged with reporting any crimes that they knew of in their hundred to a " justice in eyre ," a judge who moved between hundreds on a circuit.

Under the apartheid era, the Afrikaner National Party moved to weaken the judiciary in favor of Dutch-inherited civil law, a stronger legislature and juries of elected officials, all dominated by the National Party.

Under Seyyid Said, the Omani sultan who moved his capital to Zanzibar in the early 19th century, the Arabs created long-distance trade routes into the interior.

In Britain, the Yardbirds, with Jeff Beck as their guitarist, increasingly moved into psychedelic territory, adding up-tempo improvised " rave ups ", Gregorian chant and world music ( in particular Indian ) influences to their songs, including " Still I'm Sad " ( 1965 ) and " Over Under Sideways Down " ( 1966 ), and singles such as " Heart Full of Soul " ( 1965 ), " Shapes of Things " ( 1966 ) and " Happenings Ten Years Time Ago " ( 1966 ).

Under King, the college was moved from its original location in downtown Muskogee to a larger campus on lands donated by Pleasant Porter.

Under Zabdas, a Palmyrene army invaded Arabia and moved into Egypt in the late summer.

Under the Umayyad's successors, the Abbasids ( 750-1258 ), Jordan was neglected and began to languish due to the geo-political shift that occurred when the Abassids moved their capital from Damascus to Kufa and later to Baghdad.

Under Colonel Gregory Fontenot, the school moved from Fort Leavenworth's Flint Hall to Eisenhower Hall ( image below ) in October 1994.

Under cover of darkness, the Yorkists moved close to the Lancastrians, and clashed in a thick fog at dawn.

Under the Russian Empire of the 19th century, missionaries such as Nicholas Ilminsky moved into the subject lands and propagated Orthodoxy, including through Belarus, Latvia, Moldova, Finland, Estonia, Ukraine, and China.

In the re-released Director's cut version of the film, the music in the opening sequence is replaced by " Never Tear Us Apart " by INXS ; " Under the Milky Way " is moved to the scene of Donnie and Eddie driving home from Donnie's meeting with his therapist ; and " The Killing Moon " is played as Gretchen and Donnie return to the party from Donnie's parents ' room.

Under the Arabs, the Christian population was persecuted and moved to the mountains.

Under the governorship of General Richard Kane, this period saw the island's capital moved to Port Mahon, and a naval base established in that town's harbour.

Under BAPCPA, a debtor who has moved from one state to another within two years of filing ( 730 days ) the bankruptcy case must use exemptions from the place of the debtor ’ s domicile for the majority of the 180 day time period preceding the two years ( 730 days ) before the filing.

Under the name of " Indoor-Outdoor ", the game moved outside in the next year, and the first rules were published in 1889.

Under Harding, in 1829, The Inquirer moved from its original location between Front and Second Streets to between Second and Third Streets.

Under her support, De Lara remained in Monaco and moved into the most successful part of his career.

Under these conditions — when people moved from one state to another, or one state conquered or colonized peoples beyond its national boundaries — ethnic groups were formed by people who identified with one nation, but lived in another state.

Under the direction of Mayor Theisen and the Village Board, the Village Hall and Police Station moved out of a renovated residential duplex to the now Old Village Hall in 1977 on Torrence Avenue.