Question: Were William Alvin Howard and Bing Russell from the same country?
Sentence (from "William Alvin Howard"): William Alvin Howard( born 1926) 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.
Relevant evidence: No