Ines Margaria

15 papers Journal 7Unranked 8
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 — conf
Polymorphic types, fixed-point combinators and continuous lambda-models.
Formal Description of Programming Concepts
Mariangiola Dezani-Ciancaglini, Ines Margaria
1986 J jnl
A Characterization of F-Complete Type Assignments.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Ines Margaria
1984 — conf
F-Semantics for Intersection Type Discipline.
Semantics of Data Types
Mariangiola Dezani-Ciancaglini, Ines Margaria
1983 J jnl
Right and Left Invertibility in lambda-beta-Calculus.
RAIRO Theor. Informatics Appl.
Ines Margaria, Maddalena Zacchi