Search the dblp DataBase

Publications of Author

1. Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
   Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. [Citation Graph (0, 0)][DBLP]
   ICALP, 1974, pp:170-184 [Conf]
   
2. Mario Coppo, Maddalena Zacchi
   Type inference and logical relations [Citation Graph (0, 0)][DBLP]
   LICS, 1986, pp:218-226 [Conf]
   
3. Ines Margaria, Maddalena Zacchi
   A Filter Model for Safe Ambients. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:217-234 [Journal]
   
4. Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
   Type Theories, Normal Forms and D_\infty-Lambda-Models [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1987, v:72, n:2, pp:85-116 [Journal]
   
5. Ines Margaria, Maddalena Zacchi
   Right and Left Invertibility in lambda-beta-Calculus. [Citation Graph (0, 0)][DBLP]
   ITA, 1983, v:17, n:1, pp:71-88 [Journal]
   
6. Ines Margaria, Maddalena Zacchi
   Principal Typing in a forall-and-Discipline. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1995, v:5, n:3, pp:367-381 [Journal]
   
7. Bart Jacobs, Ines Margaria, Maddalena Zacchi
   Filter Models with Polymorphic Types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:95, n:1, pp:143-148 [Journal]
   
8. Ines Margaria, Maddalena Zacchi
   Generalized filter models. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:238, n:1-2, pp:363-387 [Journal]