RIP Robin Milner - one of my favourite lecturers as an undergrad, so helpful and always pleased if you were interested in the work, but it was all a bit too advanced mathematically for me.