31.3.10

Robin Milner, 1934--2010


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

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)