Ines Margaria

According to our database, Ines Margaria authored at least 15 papers between 1983 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

Polymorphic types, fixed-point combinators and continuous lambda-models.

Mariangiola Dezani-Ciancaglini, Ines Margaria

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986

A Characterization of F-Complete Type Assignments.

Mariangiola Dezani-Ciancaglini, Ines Margaria

Theor. Comput. Sci., 1986

1984

F-Semantics for Intersection Type Discipline.

Mariangiola Dezani-Ciancaglini, Ines Margaria

Proceedings of the Semantics of Data Types, International Symposium, 1984

1983

Right and Left Invertibility in lambda-beta-Calculus.

Ines Margaria, Maddalena Zacchi

RAIRO Theor. Informatics Appl., 1983