Maddalena Zacchi

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Isomorphism of intersection and union types.
Math. Struct. Comput. Sci., 2017

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

2015
Partial and Complete Processes in Multiparty Sessions.
Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

2014
On Isomorphism of "Functional" Intersection and Union Types.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

2013
Isomorphism of "Functional" Intersection Types.
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

2012
Toward Isomorphism of Intersection and Union types.
Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

2008
Access control in mobile ambient calculi: A comparative view.
Theor. Comput. Sci., 2008

2003
A Filter Model for Safe Ambients.
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2000
Generalized filter models.
Theor. Comput. Sci., 2000

1995
Principal Typing in a forall-and-Discipline.
J. Log. Comput., 1995

1992
Filter Models with Polymorphic Types.
Theor. Comput. Sci., 1992

1987
Type Theories, Normal Forms and D_\infty-Lambda-Models
Inf. Comput., February, 1987

1986
Type inference and logical relations
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1983
Right and Left Invertibility in lambda-beta-Calculus.
RAIRO Theor. Informatics Appl., 1983

1974
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974


  Loading...