Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:academicAdvisor |
gptkb:Peter_John_Landin
|
| gptkbp:affiliation |
gptkb:University_of_Edinburgh
|
| gptkbp:author |
gptkb:M._J._C._Gordon
|
| gptkbp:awards |
Fellow_of_the_Royal_Society
|
| gptkbp:birthDate |
1936-01-01
|
| gptkbp:contribution |
gptkb:Hindley-Milner_type_system
|
| gptkbp:deathDate |
2021-09-01
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
J. Roger Hindley
|
| gptkbp:influenced |
gptkb:Philip_Wadler
|
| gptkbp:influencedBy |
gptkb:Alonzo_Church
|
| gptkbp:knownFor |
Contributions to category theory
|
| gptkbp:nationality |
British
|
| gptkbp:publishes |
Theorem_Proving_in_Higher_Order_Logic
|
| gptkbp:researchInterest |
Type theory
|
| gptkbp:work |
Lambda_Calculus_and_Computer_Science
|