31.3.10

Robin Milner, 1934--2010


An obituary has appeared in the Times. I believe others will appear shortly.

No comments: