BabelNet

bn:01246512n

Noun Named Entity

William Alvin Howard

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

EDUCATED AT

EMPLOYER

FIELD OF WORK

GIVEN NAME

OCCUPATION

SEX OR GENDER

STUDENT

BabelNet

William Alvin Howard