Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01246512n
Noun Named Entity
IT
William Alvin Howard
EN
William Alvin Howard is a proof theorist best 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. Wikipedia
Relations
Sources
IS A
uomo
COUNTRY OF CITIZENSHIP
Stati Uniti
DOCTORAL ADVISOR
André Weil
Saunders Mac Lane
EDUCATED AT
Università di Chicago
EMPLOYER
Università dell'Illinois - Chicago
FIELD OF WORK
teoria della dimostrazione
GIVEN NAME
William
OCCUPATION
matematico
professeur des universités
SEX OR GENDER
maschio
STUDENT
Amy Shell-Gellasch
Wikidata
IT
William Alvin Howard

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License