William Alvin Howard

URI: https://gptkb.org/entity/William_Alvin_Howard
GPTKB entity
Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Chicago
gptkbp:birthDate 1926-10-25
gptkbp:doctoralAdvisor gptkb:Saunders_Mac_Lane
gptkbp:doctoralStudent gptkb:Jean-Yves_Girard
gptkbp:employer gptkb:Pennsylvania_State_University
gptkb:Stanford_University
gptkb:University_of_Chicago
gptkbp:field gptkb:logic
theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label William Alvin Howard
gptkbp:knownFor gptkb:lambda_calculus
gptkb:Curry–Howard_correspondence
proof theory
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:The_formulae-as-types_notion_of_construction
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:bfsParent gptkb:Curry–Howard_correspondence
gptkbp:bfsLayer 5