FANDOM


PVS2001-speakers

Peter Landin (right) with Robin Milner, Tony Hoare, and Joe Stoy, all speakers at the Program Verification and Semantics meeting held at the Science Museum, London, in 2001.

Peter John Landin (1930 – 3rd June 2009[1]) was a British computer scientist. He was one of the first to realize that the lambda calculus could be used to model a programming language, an insight that is essential to development of both functional programming and denotational semantics. He was a colleague of Christopher Strachey and an academic at Queen Mary London.

ReferencesEdit

External links Edit

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.