Henry Curry

URI: https://gptkb.org/entity/Henry_Curry
GPTKB entity
Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Harvard_University
gptkbp:birthDate 1900-01-12
gptkbp:deathDate 1982-09-01
gptkbp:doctoralAdvisor gptkb:G._D._Birkhoff
gptkbp:field gptkb:logic
gptkb:mathematics
computer science
gptkbp:fullName gptkb:Henry_Gordon_Rice_Curry
https://www.w3.org/2000/01/rdf-schema#label Henry Curry
gptkbp:knownFor gptkb:Curry–Howard_correspondence
gptkb:Curry's_paradox
combinatory logic
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:workInstitution gptkb:Harvard_University
gptkb:Pennsylvania_State_University
gptkbp:bfsParent gptkb:Currys
gptkb:Currys_plc
gptkbp:bfsLayer 6