William Alvin Howard
Contenu soumis à la licence CC-BY-SA. Source : Article William Alvin Howard de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
William Alvin Howard — (1926 ) is a proof theorist most well known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry Howard correspondence. He has also been active in… … Wikipedia
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
