gptkbp:instanceOf
|
gptkb:person
|
gptkbp:almaMater
|
gptkb:Harvard_University
|
gptkbp:award
|
gptkb:Leroy_P._Steele_Prize
|
gptkbp:birthDate
|
1900-09-12
|
gptkbp:birthPlace
|
gptkb:Millis,_Massachusetts,_USA
|
gptkbp:deathDate
|
1982-09-01
|
gptkbp:deathPlace
|
gptkb:State_College,_Pennsylvania,_USA
|
gptkbp:doctoralAdvisor
|
gptkb:George_David_Birkhoff
|
gptkbp:doctoralStudent
|
gptkb:William_Craig
gptkb:Robert_Feys
|
gptkbp:field
|
gptkb:logic
computer science
combinatory logic
|
gptkbp:fullName
|
gptkb:Haskell_Brooks_Curry
|
https://www.w3.org/2000/01/rdf-schema#label
|
Haskell Curry
|
gptkbp:knownFor
|
gptkb:Curry–Howard_correspondence
gptkb:Curry's_paradox
gptkb:Curry–Howard–Lambek_correspondence
combinatory logic
Curry programming language (named after him)
Haskell programming language (named after him)
|
gptkbp:memberOf
|
gptkb:American_Mathematical_Society
gptkb:Association_for_Symbolic_Logic
|
gptkbp:nationality
|
gptkb:American
|
gptkbp:occupation
|
gptkb:logic
gptkb:mathematician
|
gptkbp:publishedIn
|
gptkb:Combinatory_Logic_(with_Robert_Feys)
gptkb:Foundations_of_Mathematical_Logic
|
gptkbp:spouse
|
gptkb:Mary_Virginia_Wheatley
|
gptkbp:workInstitution
|
gptkb:Harvard_University
gptkb:Institute_for_Advanced_Study
gptkb:Pennsylvania_State_University
gptkb:University_of_Chicago
|
gptkbp:bfsParent
|
gptkb:logic
|
gptkbp:bfsLayer
|
4
|