« Home

person. William Alvin Howard [wahoward]

  • https://en.wikipedia.org/wiki/William_Alvin_Howard

Contributions

    Reference. The formulae-as-types notion of construction [howard-80]

    • 1980
    • William Alvin Howard
    • To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism