Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. - Mariangiola Dezani-Ciancaglini; Maddalena Zacchi (ICALP, 1974)

Right and Left Invertibility in lambda-beta-Calculus. - Ines Margaria; Maddalena Zacchi (RAIRO Theor. Informatics Appl., 1983)

Type inference and logical relations - Mario Coppo; Maddalena Zacchi (LICS, 1986)

Type Theories, Normal Forms and D_ infty-Lambda-Models - Mario Coppo; Mariangiola Dezani-Ciancaglini; Maddalena Zacchi (Inf. Comput., 1987)

Filter Models with Polymorphic Types. - Bart Jacobs 001; Ines Margaria; Maddalena Zacchi (Theor. Comput. Sci., 1992)

Principal Typing in a forall-and-Discipline. - Ines Margaria; Maddalena Zacchi (J. Log. Comput., 1995)

Generalized filter models. - Ines Margaria; Maddalena Zacchi (Theor. Comput. Sci., 2000)

A Filter Model for Safe Ambients. - Ines Margaria; Maddalena Zacchi (COMETA, 2003)

Access control in mobile ambient calculi: A comparative view. - Ines Margaria; Maddalena Zacchi (Theor. Comput. Sci., 2008)

Toward Isomorphism of Intersection and Union types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ITRS, 2012)

Isomorphism of "Functional" Intersection Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (TYPES, 2013)

On Isomorphism of "Functional" Intersection and Union Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ITRS, 2014)

Partial and Complete Processes in Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ICTCS, 2015)

Retractions in Intersection Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Alejandro Díaz-Caro; Ines Margaria; Maddalena Zacchi (ITRS, 2016)

Isomorphism of intersection and union types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (Math. Struct. Comput. Sci., 2017)