Coppo, M., Dezani-Ciancaglini, M., and Zacchi, M. (1987) Type theories, normal forms, and D1 -lambda-models, Inform. and Comput. 72, 85--116. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Intersection Types and Bounded Polymorphism - Pierce (1996) (11 citations) (Correct)
.... (Coppo et al. 1979; Sall e, 1982) and Pottinger (1980) Since then, they have been studied extensively by members of the group at Torino and many others (Barendregt et al. 1983; Cardone Coppo, 1990; Coppo DezaniCiancaglini, 1980; Coppo et al. 1983; Coppo et al. 1980; Coppo et al. 1981; Coppo et al. 1987; Dezani Ciancaglini Margaria, 1984; Dezani Ciancaglini Margaria, 1986; Hindley, 1982; Reynolds, 1988; Reynolds, 1991; Ronchi della Rocca, 1988; Ronchi della Rocca Venneri, 1984; van Bakel, 1991; van Bakel, 1992) Various extensions of the original intersection type discipline have also been ....
Coppo, M., Dezani-Ciancaglini, M., & Zacchi, M. 1987. Type Theories, Normal Forms and D1-Lambda-Models. Information and Computation, 72, 85--116.
Discrimination by Parallel Observers: the Algorithm - Dezani-Ciancaglini, Tiuryn, .. (1998) Self-citation (Dezani-ciancaglini) (Correct)
No context found.
Coppo, M., Dezani-Ciancaglini, M., and Zacchi, M. (1987) Type theories, normal forms, and D1 -lambda-models, Inform. and Comput. 72, 85--116.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC