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)

1 Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. ICALP 1974: 170-184

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)
1		Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. ICALP 1974: 170-184