Maddalena Zacchi

According to our database, Maddalena Zacchi authored at least 15 papers between 1974 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Isomorphism of intersection and union types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Math. Struct. Comput. Sci., 2017

2016

Retractions in Intersection Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi

Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016

2015

Partial and Complete Processes in Multiparty Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

2014

On Isomorphism of "Functional" Intersection and Union Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

2013

Isomorphism of "Functional" Intersection Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

2012

Toward Isomorphism of Intersection and Union types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

2008

Access control in mobile ambient calculi: A comparative view.

Ines Margaria, Maddalena Zacchi

Theor. Comput. Sci., 2008

2003

A Filter Model for Safe Ambients.

Ines Margaria, Maddalena Zacchi

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2000

Generalized filter models.

Ines Margaria, Maddalena Zacchi

Theor. Comput. Sci., 2000

1995

Principal Typing in a forall-and-Discipline.

Ines Margaria, Maddalena Zacchi

J. Log. Comput., 1995

1992

Filter Models with Polymorphic Types.

Bart Jacobs, Ines Margaria, Maddalena Zacchi

Theor. Comput. Sci., 1992

1987

Type Theories, Normal Forms and D_\infty-Lambda-Models

Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi

Inf. Comput., February, 1987

1986

Type inference and logical relations

Mario Coppo, Maddalena Zacchi

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1983

Right and Left Invertibility in lambda-beta-Calculus.

Ines Margaria, Maddalena Zacchi

RAIRO Theor. Informatics Appl., 1983

1974

Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.

Mariangiola Dezani-Ciancaglini, Maddalena Zacchi

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974