Maddalena Zacchi

Publication Activity (10 Years)

Years Active: 1974-2017
Publications (10 Years): 3

Top Topics

Functional Analysis

Top Venues

Math. Struct. Comput. Sci.

Electron. Notes Theor. Comput. Sci.

Publications

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Isomorphism of intersection and union types. Math. Struct. Comput. Sci. 27 (5) (2017)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Partial and Complete Processes in Multiparty Sessions. Electron. Notes Theor. Comput. Sci. 322 (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
Retractions in Intersection Types. ITRS (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
On Isomorphism of "Functional" Intersection and Union Types. ITRS (2014)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Isomorphism of "Functional" Intersection Types. TYPES (2013)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Toward Isomorphism of Intersection and Union types. ITRS (2012)
Ines Margaria, Maddalena Zacchi
Access control in mobile ambient calculi: A comparative view. Theor. Comput. Sci. 398 (1-3) (2008)
Ines Margaria, Maddalena Zacchi
A Filter Model for Safe Ambients. Electron. Notes Theor. Comput. Sci. 104 (2004)
Ines Margaria, Maddalena Zacchi
Generalized filter models. Theor. Comput. Sci. 238 (1-2) (2000)
Ines Margaria, Maddalena Zacchi
Principal Typing in a forall-and-Discipline. J. Log. Comput. 5 (3) (1995)
Bart Jacobs, Ines Margaria, Maddalena Zacchi
Filter Models with Polymorphic Types. Theor. Comput. Sci. 95 (1) (1992)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
Type Theories, Normal Forms and D_\infty-Lambda-Models Inf. Comput. 72 (2) (1987)
Mario Coppo, Maddalena Zacchi
Type inference and logical relations LICS (1986)
Ines Margaria, Maddalena Zacchi
Right and Left Invertibility in lambda-beta-Calculus. RAIRO Theor. Informatics Appl. 17 (1) (1983)
Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. ICALP (1974)