Mariangiola Dezani-Ciancaglini (Q62559737)
Italian logician and theoretical computer scientist
Language: