I heard yesterday that Robin Milner died on the 20th March. The passing of giant. I can say little more. My blog is undeniably my small humble tribute to a man who taught me so so much. I am feel so very sad that both he and Lucy are with us no more but very privileged to have known both of them.
Robin and Lucy thank you for just being who you were. May we be as blessed with your humility and wisdom in our lives.