William Alvin Howard
| Use attributes for filter ! | |
| Academic advisors | Saunders Mac Lane |
|---|---|
| André Weil | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 827442 |
About 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. He has also been active in the theory of proof-theoretic ordinals.
