Peter J. Landin

URI: https://gptkb.org/entity/Peter_J._Landin
GPTKB entity
Statements (35)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:award gptkb:Fellow_of_the_British_Computer_Society
gptkbp:birthDate 1930-06-05
gptkbp:deathDate 2009-06-03
gptkbp:doctoralAdvisor gptkb:David_Rees
gptkbp:field gptkb:mathematics
gptkb:programming_language
computer science
https://www.w3.org/2000/01/rdf-schema#label Peter J. Landin
gptkbp:influenced gptkb:John_Backus
gptkb:Robin_Milner
gptkb:Christopher_Strachey
gptkb:Philip_Wadler
gptkbp:influencedBy gptkb:Alonzo_Church
gptkb:Christopher_Strachey
gptkbp:knownFor gptkb:ISWIM_programming_language
gptkb:SECD_machine
Denotational semantics
Lambda calculus in programming languages
gptkbp:nationality British
gptkbp:notableStudent gptkb:Rod_Burstall
gptkbp:occupation gptkb:academic
gptkb:computer_scientist
gptkbp:publishedIn gptkb:The_Next_700_Programming_Languages
gptkb:A_Correspondence_Between_ALGOL_60_and_Church's_Lambda-notation
gptkb:The_Mechanical_Evaluation_of_Expressions
gptkbp:spouse gptkb:Hilary_Landin
gptkbp:workInstitution gptkb:Queen_Mary_University_of_London
gptkb:University_of_Cambridge
gptkb:University_of_London
gptkb:Atlas_Computer_Laboratory
gptkbp:bfsParent gptkb:The_Next_700_Programming_Languages
gptkb:ISWIM
gptkbp:bfsLayer 6