This author has not been identified. It may be one of the following persons: Look up 'Mariangiola Dezani-Ciancaglini' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Paola Giannini' in GoogleThis author has not been identified. Look up 'Elena Zucca' in Google