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