
Search the dblp DataBase
Maddalena Zacchi:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Mariangiola DezaniCiancaglini, Maddalena Zacchi
Application of ChurchRosser Properties to Increase the Parallelism and Efficiency of Algorithms. [Citation Graph (0, 0)][DBLP] ICALP, 1974, pp:170184 [Conf]
 Mario Coppo, Maddalena Zacchi
Type inference and logical relations [Citation Graph (0, 0)][DBLP] LICS, 1986, pp:218226 [Conf]
 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:217234 [Journal]
 Mario Coppo, Mariangiola DezaniCiancaglini, Maddalena Zacchi
Type Theories, Normal Forms and D_\inftyLambdaModels [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:72, n:2, pp:85116 [Journal]
 Ines Margaria, Maddalena Zacchi
Right and Left Invertibility in lambdabetaCalculus. [Citation Graph (0, 0)][DBLP] ITA, 1983, v:17, n:1, pp:7188 [Journal]
 Ines Margaria, Maddalena Zacchi
Principal Typing in a forallandDiscipline. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1995, v:5, n:3, pp:367381 [Journal]
 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:143148 [Journal]
 Ines Margaria, Maddalena Zacchi
Generalized filter models. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:238, n:12, pp:363387 [Journal]
Search in 0.002secs, Finished in 0.002secs
