gptkbp:instanceOf
|
gptkb:person
|
gptkbp:almaMater
|
gptkb:King's_College,_Cambridge
|
gptkbp:birthDate
|
1916-11-16
|
gptkbp:collaboratedWith
|
gptkb:Dana_Scott
|
gptkbp:deathDate
|
1975-05-18
|
gptkbp:employer
|
gptkb:University_of_Oxford
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
computer science
|
gptkbp:founded
|
gptkb:Programming_Research_Group,_Oxford
|
https://www.w3.org/2000/01/rdf-schema#label
|
Christopher Strachey
|
gptkbp:influenced
|
formal semantics
functional programming
programming language theory
|
gptkbp:knownFor
|
denotational semantics
programming language design
early computer music
|
gptkbp:memberOf
|
gptkb:Royal_Society
|
gptkbp:nationality
|
British
|
gptkbp:notableWork
|
gptkb:Manchester_Mark_I_love_letter_generator
work on ALGOL
work on CPL
work on OS design
|
gptkbp:occupation
|
gptkb:academic
gptkb:computer_scientist
gptkb:software_engineer
|
gptkbp:placeOfBirth
|
gptkb:Hampstead,_London,_England
|
gptkbp:placeOfDeath
|
gptkb:Oxford,_England
|
gptkbp:relative
|
gptkb:Lytton_Strachey
|
gptkbp:bfsParent
|
gptkb:Scott–Strachey_approach_to_denotational_semantics
gptkb:Strachey_family
gptkb:Ferranti_Atlas
|
gptkbp:bfsLayer
|
6
|