31.3.10

 

Robin Milner, 1934--2010


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

Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?