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

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 )

Among the political figures targeted by the magazine were former Under Secretary of State Sumner Welles and Arthur H. Vandenberg, Jr., who had briefly served as President Eisenhower's Appointments Secretary.

Under that name, she published the magazine, The Humanitarian, from 1892 to 1901, with help from her daughter Zula Woodhull.

Under SPI, S & T started including a new game in every issue of the magazine, which along with the regular games SPI was publishing vastly increased the number of wargames available.

The staff at Variety magazine also reviewed the film favorably, writing, " Under skillful directorial guidance of Lewis Milestone, the picture retains all of the forceful and poignant drama of John Steinbeck's original play and novel, in presenting the strange palship and eventual tragedy of the two California ranch itinerants.

Under Zélia's tenure, Brazil had a period of major changes, featuring what ISTOÉ magazine called an " unprecedented " " revolution " in many levels of public administration: " privatization, opening its market to free trade, encouraging industrial modernization, temporary control of the hyper-inflation and public debt reduction.

Under Communism, publications included the socio-political and literary magazines Tribuna, Steaua, Utunk, Korunk, Napsugár and Előre as well as the regional Communist party daily organs Făclia and Igazság and the trilingual student magazine Echinox.

Written between July and September 28, 1911, the novel was serialized as Under the Moons of Mars in the pulp magazine The All-Story from February to July 1912.

Under orders from the German government, the magazine was intended to turn the people against Poland because of the final drawing up of the German-Polish border in Upper Silesia.

Under the editorship of Tom Hilditch, the magazine was rebranded as PH. UK and relaunched as middle-shelf " adult magazine for grown-ups ".

Under Jakobsson the magazine declined in quality.

* The big debate Down Under BBC news magazine

Under their editorial hand, the magazine was not exclusively a publisher of crime fiction, offering, according to the magazine, " the best stories available of adventure, the best mystery and detective stories, the best romances, the best love stories, and the best stories of the occult.

As a cofounder of The Savoy, Beardsley was able to pursue his writing as well as illustration, and a number of his writings, including Under the Hill ( a story based on the Tannhäuser legend ) and “ The Ballad of a Barber ” appeared in the magazine.

Under the pseudonyms " Phil " and " Tom ", he published his first illustrations and comics for the school magazine Buck ( made by Thierry Groensteen ) from 1972 to 1974.

Under Newman, the magazine switched from being a monthly general interest publication to a bi-weekly news magazine in 1975, and to a weekly newsmagazine three years later.

Under the Packer family The Bulletin remained politically conservative, but rejoined the political and journalistic mainstream, as a well-edited magazine ( modelled on Time ) of political and business news and commentary, with occasional forays into literature as a gesture to its past.

Under Construction is North Hennepin Community College ’ s annual arts and literary magazine.

Under editor-in-chief Grace Mirabella, the magazine underwent extensive editorial and stylistic changes to respond to changes in the lifestyles of its target audience.

In 1962 he lived in New York for a year before relocating to Communist China from 1963 until 1965, where he worked as a translator on the French edition of the magazine China Under Construction until his disillusionment with Maoism.

As Time magazine put it at the time, " Under Reagan's ceilings, the U. S. would have to make considerably less of an adjustment in its strategic forces than would the Soviet Union.

Under Editor Harley W. Mitchell it became the largest aviation magazine, with a circulation of 100, 000 in 1929.

In " Vingt mille lieues sous les mers " ( Twenty Thousand Leagues Under the Sea ), first published in 1869 – 1870 in the magazine Magasin d ' Éducation et de Récréation, Jules Verne ( 1828 – 1905 ) wrote: