M. Dezani-Ciancaglini · 4 obras en el catálogoObrasAutomata, languages and programmingInternational Symposium on ProgrammingTTheories of types and proofsTheories of types and proofsTTyped Lambda Calculi and ApplicationsTyped Lambda Calculi and Applications