Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:affiliation |
gptkb:University_of_Edinburgh
|
| gptkbp:birthDate |
1930-01-01
|
| gptkbp:deathDate |
2018-01-01
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Roger Hindley
|
| gptkbp:influencedBy |
gptkb:Haskell_Curry
gptkb:Alonzo_Church |
| gptkbp:knownFor |
Category theory
Lambda calculus |
| gptkbp:nationality |
British
|