![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 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
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)