William Alvin Howard

URI: https://gptkb.org/entity/William_Alvin_Howard

GPTKB entity

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:theoretical_computer_science gptkb:logic
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:Leonard_Dickson
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	William Alvin Howard