Maddalena Zacchi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Toward isomorphism of intersection and union types	2021-06-10	Paper
Isomorphism of intersection and union types Mathematical Structures in Computer Science	2017-06-14	Paper
Isomorphism of "Functional" Intersection Types	2017-03-13	Paper
Partial and complete processes in multiparty sessions	2016-08-05	Paper
A filter model for safe ambients	2013-09-11	Paper
Access control in mobile ambient calculi: a comparative view Theoretical Computer Science	2008-06-24	Paper
Generalized filter models Theoretical Computer Science	2000-08-21	Paper
Principal Typing in a ∀Λ-Discipline Journal Of Logic And Computation	1995-11-28	Paper
Filter models with polymorphic types Theoretical Computer Science	1992-06-28	Paper
Type theories, normal forms, and \(D_{\infty}\)-lambda-models Information and Computation	1987-01-01	Paper
scientific article; zbMATH DE number 3827824 (Why is no real title available?)	1983-01-01	Paper
Determinacy and maximal parallelism in a structured model of parallel computation Calcolo	1979-01-01	Paper
scientific article; zbMATH DE number 3597847 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3468256 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: Maddalena Zacchi