Peter J. Landin

URI: https://gptkb.org/entity/Peter_J._Landin

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	Peter J. Landin