Ola a todos, Acabei de descobrir que Robin Milner faleceu no fim de semana passada. Uma grande perda para a communidade.
Abracos, Vivek ---------- Forwarded message ---------- From: Gordon Plotkin <[email protected]> Date: Mon, Mar 22, 2010 at 9:51 AM Subject: [TYPES] Very sad news To: [email protected], Gordon Plotkin <[email protected]> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Dear Colleagues, I am deeply saddened to pass on the following message from Barney and Chloë Milner: "We are sorry to announce that Robin Milner died on Saturday 20th March, in Cambridge, just three days after the funeral of his wife, Lucy. He will be greatly missed by his family and friends, as well as the academic community." Gordon Plotkin
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
