H. A. Curry

URI: https://gptkb.org/entity/H._A._Curry

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Harvard_University
gptkbp:author	gptkb:Combinatory_Logic_(book) gptkb:Foundations_of_Mathematical_Logic_(book)
gptkbp:birthDate	1900-09-12
gptkbp:deathDate	1982-12-01
gptkbp:doctoralAdvisor	gptkb:G._D._Birkhoff
gptkbp:field	gptkb:logic gptkb:mathematics computer science
gptkbp:fullName	gptkb:Henry_Alfred_Curry
https://www.w3.org/2000/01/rdf-schema#label	H. A. Curry
gptkbp:knownFor	gptkb:Curry–Howard_correspondence gptkb:Curry's_paradox combinatory logic
gptkbp:nationality	gptkb:American
gptkbp:notableStudent	gptkb:Jon_Barwise gptkb:Robert_Feys
gptkbp:occupation	gptkb:logic gptkb:mathematician
gptkbp:workInstitution	gptkb:Harvard_University gptkb:Pennsylvania_State_University
gptkbp:bfsParent	gptkb:Julian_Curry
gptkbp:bfsLayer	6