It's a shame that the Times couldn't get a peer or well, someone who knows technology to write this obit: "Three of his major contributions were known as LCF,

It's a shame that the Times couldn't get a peer or well, someone who knows technology to write this obit: "Three of his major contributions were known as LCF, ML and CCS. LCF — or Logic for Computable Functions — was a reasoning tool that helped programmers to prove that their programs were correct. ML was a new programming language whose features are widely used in modern computer languages, including Microsoft’s groundbreaking new language F Sharp. Millions of computers all over the world will use this language when they are next upgraded by Microsoft. CCS was a pioneering, simple algebraic approach to describing how concurrent processes interact. It has been widely used in hardware verification." Not sure that an obit is normally the place for a product placement.