|
gptkbp:instanceOf
|
mathematician
logician
computer scientist
|
|
gptkbp:almaMater
|
gptkb:Harvard_University
gptkb:University_of_Pennsylvania
|
|
gptkbp:awards
|
Fellow_of_the_American_Academy_of_Arts_and_Sciences
Fellow_of_the_Association_for_Computing_Machinery
|
|
gptkbp:birthDate
|
1900-09-12
|
|
gptkbp:birthPlace
|
gptkb:Millis,_Massachusetts,_USA
|
|
gptkbp:children
|
3
|
|
gptkbp:deathDate
|
2008-09-01
|
|
gptkbp:employees
|
gptkb:University_of_California,_Los_Angeles
gptkb:University_of_Chicago
gptkb:Pennsylvania_State_University
gptkb:University_of_Wisconsin-Madison
|
|
gptkbp:field
|
computer science
logic
mathematics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Haskell Curry
|
|
gptkbp:influenced
|
gptkb:Alonzo_Church
gptkb:John_Backus
|
|
gptkbp:influencedBy
|
gptkb:Gottlob_Frege
gptkb:David_Hilbert
|
|
gptkbp:knownFor
|
functional programming
combinatory logic
Curry-Howard_correspondence
|
|
gptkbp:nationality
|
American
|
|
gptkbp:notableFeature
|
gptkb:Peter_J._Landin
gptkb:John_C._Reynolds
gptkb:H._P._Barendregt
gptkb:J._Roger_Hindley
gptkb:Daniel_P._Friedman
gptkb:Gerhard_Gentzen
gptkb:John_McCarthy
gptkb:Robert_L._Constable
gptkb:Stephen_Cole_Kleene
gptkb:Peter_G._Neumark
gptkb:Robert_W._Floyd
gptkb:William_H._Burge
gptkb:G._E._Sacks
gptkb:Philip_Wadler
gptkb:Henk_Barendregt
gptkb:H._B._Enderton
|
|
gptkbp:spouse
|
Martha_Curry
|