Concepedia

Maddalena Zacchi

MZ

Statistics

Publications

4

Citations

129

H-Index

4

Active since

1986

Affiliations

University of Turin(Current)

Maddalena Zacchi is an author at University of Turin specializing in data modeling, automated reasoning, and semantics.

Top concepts

FiltersSemanticsData ModelingAutomated Reasoning

Publications per year

1986–2015

4

Publications

4

Type theories, normal forms, and D∞-lambda-models

Massimiliano Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi · Information and Computation · 1987 · 82 citations

Type Theory, Model Theory, Finite Model Theory +1

Filter models with polymorphic types

Bart Jacobs, Ines Margaria, Maddalena Zacchi · Theoretical Computer Science · 1992 · 19 citations

Type Theory, Polymorphism (Computer Science), Model Theory +3

Type inference and Logical relations

Mario Coppo, Maddalena Zacchi · Logic in Computer Science · 1986 · 18 citations

Logical Relations, Automated Reasoning, Type Theory +3

Isomorphism of intersection and union types

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria et al. · Mathematical Structures in Computer Science · 2015 · 10 citations · Full text

Complete Characterisation, Generic Programming, Type Theory +6

1–4 of 4