Maddalena Zacchi

15 papers A* 2Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2017 J jnl
Isomorphism of intersection and union types.
Math. Struct. Comput. Sci.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2016 — conf
Retractions in Intersection Types.
ITRS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
2015 — conf
Partial and Complete Processes in Multiparty Sessions.
ICTCS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2014 — conf
On Isomorphism of "Functional" Intersection and Union Types.
ITRS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2013 — conf
Isomorphism of "Functional" Intersection Types.
TYPES
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2012 — conf
Toward Isomorphism of Intersection and Union types.
ITRS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2008 J jnl
Access control in mobile ambient calculi: A comparative view.
Theor. Comput. Sci.
Ines Margaria, Maddalena Zacchi
2003 — conf
A Filter Model for Safe Ambients.
COMETA
Ines Margaria, Maddalena Zacchi
2000 J jnl
Generalized filter models.
Theor. Comput. Sci.
Ines Margaria, Maddalena Zacchi
1995 J jnl
Principal Typing in a forall-and-Discipline.
J. Log. Comput.
Ines Margaria, Maddalena Zacchi
1992 J jnl
Filter Models with Polymorphic Types.
Theor. Comput. Sci.
Bart Jacobs, Ines Margaria, Maddalena Zacchi
1987 J jnl
Type Theories, Normal Forms and D_\infty-Lambda-Models
Inf. Comput.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
1986 A* conf
Type inference and logical relations
LICS
Mario Coppo, Maddalena Zacchi
1983 J jnl
Right and Left Invertibility in lambda-beta-Calculus.
RAIRO Theor. Informatics Appl.
Ines Margaria, Maddalena Zacchi
1974 A* conf
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.
ICALP
Mariangiola Dezani-Ciancaglini, Maddalena Zacchi