[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Unfortunately, I have to inform you that one of the most outstanding computer scientist, Corrado Böhm, died. Mariangiola Dezani @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Mariangiola Dezani-Ciancaglini Dipartimento di Informatica Universita' di Torino c.Svizzera 185, 10149 Torino (Italy) e-mail : [email protected] phone: 39-011-6706850 fax : 39-011-751603 mobile: 39-320-4359903 http://www.di.unito.it/~dezani ********************************************************************** Unless unavoidable, no Word, Excel or PowerPoint attachments, please. See http://www.gnu.org/philosophy/no-word-attachments.html ********************************************************************** http://processalgebra.blogspot.it/2016/12/mariangiola-dezani-ciancaglini-70-but.html <http://processalgebra.blogspot.it/2016/12/mariangiola-dezani-ciancaglini-70-but.html> ********************************************************************** "L'ITALIA RIPUDIA LA GUERRA come strumento di offesa alla libertà degli altri popoli e come mezzo di risoluzione delle controversie internazionali." (Art. 11 della Costituzione della Repubblica Italiana)
