|
gptkbp:instance_of
|
gptkb:Mathematician
gptkb:Logic
gptkb:Computer_Scientist
|
|
gptkbp:alma_mater
|
gptkb:Harvard_University
|
|
gptkbp:awards
|
gptkb:National_Medal_of_Science
Fellow of the Association for Computing Machinery
Fellow of the American Academy of Arts and Sciences
|
|
gptkbp:birth_date
|
1900-09-12
|
|
gptkbp:born_in
|
gptkb:Millis,_Massachusetts
|
|
gptkbp:children
|
gptkb:Haskell_Curry_Jr.
Catherine Curry
|
|
gptkbp:death_date
|
2008-09-01
|
|
gptkbp:death_place
|
gptkb:State_College,_Pennsylvania
|
|
gptkbp:field
|
gptkb:computer_science
gptkb:Mathematics
gptkb:Logic
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Haskell Curry
|
|
gptkbp:influenced
|
gptkb:Peter_Landin
gptkb:John_Backus
gptkb:Edsger_W._Dijkstra
gptkb:John_Hughes
gptkb:Simon_Peyton_Jones
gptkb:Gerard_Huet
gptkb:Jean-Yves_Girard
gptkb:Philip_Wadler
gptkb:Robert_Milner
gptkb:Henk_Barendregt
|
|
gptkbp:influenced_by
|
gptkb:Alonzo_Church
gptkb:Gottlob_Frege
gptkb:David_Hilbert
|
|
gptkbp:known_for
|
gptkb:Curry's_combinators
gptkb:Curry's_paradox
gptkb:Logic
functional programming
Curry's theorem
Curry-Howard correspondence
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:occupation
|
gptkb:Author
gptkb:Professor
gptkb:researchers
|
|
gptkbp:spouse
|
Martha Curry
|
|
gptkbp:bfsParent
|
gptkb:Alonzo_Church
gptkb:Dale_Miller
|
|
gptkbp:bfsLayer
|
5
|