[TYPES] Very sad news

Dear Colleagues, I am deeply saddened to pass on the following message from Barney and Chloë Milner: "We are sorry to announce that Robin Milner died on Saturday 20th March, in Cambridge, just three days after the funeral of his wife, Lucy. He will be greatly missed by his family and friends, as well as the academic community." Gordon Plotkin