William A. Howard
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The formulae-as-types notion of construction
William A. Howard (1980) · To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism · Academic Press