W 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 formulas-as-types notion of construction
W Howard (1980) · To H B Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism · Academic press