Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01246512n
Noun Named Entity
EL
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
άνθρωπος
COUNTRY OF CITIZENSHIP
Ηνωμένες Πολιτείες της Αμερικής
DOCTORAL ADVISOR
Αντρέ Βέιλ
EN
Saunders Mac Lane
EDUCATED AT
Πανεπιστήμιο του Σικάγου
EMPLOYER
Πανεπιστήμιο του Ιλινόις στο Σικάγο
FIELD OF WORK
EN
proof theory
GIVEN NAME
Γουίλιαμ
OCCUPATION
μαθηματικός
διδάσκων πανεπιστημίου
SEX OR GENDER
άνδρας
STUDENT
EN
Amy Shell-Gellasch
BabelNet
EL
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