William Alvin Howard — (né en 1926) est un logicien américain. Il est surtout connu en théorie de la démonstration et théorie de la calculabilité, pour avoir établi une correspondance entre la logique intuitionniste et le lambda calcul typé, résultat connu sous le nom… … Wikipédia en Français
William Alvin Howard — (* 1926) ist ein US amerikanischer mathematischer Logiker. Howard promovierte 1956 an der University of Chicago bei Saunders MacLane und André Weil (k fold recursion and well ordering). Er war in den 1960er Jahren Professor an der Pennsylvania… … Deutsch Wikipedia
William A. Howard — may refer to: * William Alanson Howard, U.S. Representative from Michigan, 1855 1859, and Governor of Dakota Territory 1878 1880 * William Alvin Howard, proof theorist after whom the Curry Howard correspondence is named … Wikipedia
William Howard — may refer toPeopleUnited Kingdom* William Howard, 1st Baron Howard of Effingham (c. 1510–1573), British nobleman * Lord William Howard (1563 1640), nicknamed Belted Will or Bauld Willie , third son of the 4th Duke of Norfolk * William Howard,… … Wikipedia
Howard (Name) — Howard ist ein Familienname, der vor allem im englischsprachigen Raum verbreitet ist. Er tritt auch als Vorname auf. Bekannte Namensträger Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U … Deutsch Wikipedia
William Howard — ist der Name folgender Personen: William Howard (Richter) (13./14. Jahrhundert), Oberrichter der Common Pleas William Howard, 1. Lord Howard of Effingham ( 1510–1573), englischer Lord High Admiral und Lordsiegelbewahrer William Alanson Howard… … Deutsch Wikipedia
William Howard — Cette page d’homonymie répertorie différentes personnes partageant un même nom. William Howard peut se référer à plusieurs personnes dont : William Howard (v. 1510 1573), 1er baron Howard d Effingham, commandant naval anglais ;… … Wikipédia en Français
Howard (surname) — Family name name = Howard imagesize= caption= pronunciation = HOW erd meaning = region = origin = related names =Howerd, Heward and Huard footnotes = Howard is a common English language surname. Its origins are unclear. One theory is that it… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
