Maddalena Zacchi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Type Theories, Normal Forms and D_\infty-Lambda-Models Inf. Comput. 72(2): 85-116 (1987)

3 Mario Coppo, Maddalena Zacchi: Type inference and logical relations LICS 1986: 218-226

Selection of 2 from 9 records - Maddalena Zacchi has 4 coauthors

4		Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Type Theories, Normal Forms and D_\infty-Lambda-Models Inf. Comput. 72(2): 85-116 (1987)
3		Mario Coppo, Maddalena Zacchi: Type inference and logical relations LICS 1986: 218-226