Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:alma_mater |
gptkb:Harvard_University
|
| gptkbp:award |
Fellow of the American Academy of Arts and Sciences
|
| gptkbp:birth_date |
1900-09-12
|
| gptkbp:death_date |
1982-05-01
|
| gptkbp:field |
gptkb:Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Haskell Curry Jr.
|
| gptkbp:influenced |
gptkb:Alonzo_Church
|
| gptkbp:influenced_by |
gptkb:Gottlob_Frege
|
| gptkbp:known_for |
Combinatory logic
|
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_students |
gptkb:Peter_Landin
gptkb:Gerard_Huet gptkb:William_P._Thurston gptkb:Robert_W._Floyd gptkb:John_W._Mc_Carthy |
| gptkbp:occupation |
gptkb:Logic
|
| gptkbp:work |
Curry-Howard correspondence
|
| gptkbp:bfsParent |
gptkb:Haskell_Curry
|
| gptkbp:bfsLayer |
6
|