1. Cardelli L. “A polymorphic lambda-calculus with Type:Type”, Preprint, Syst.Res.Center, Dig. Equip. Corp. 1985.
2. Cardelli L. “Structural Subtyping and the notion of Power Type”, 15n ACM symposium on Principles of Programming Languages (POPL).
3. Cardelli L., Wegner P. “On understanding types, data abstraction, and polymorphism”, Computing Surveys, vol 17(4) (471–522)
4. N. Lijtmaer (ed.) “Distributed Systems on Local Networks”, Final project report, Pisa, June 24–28, 1985.
5. “The Calculus of Constructions”, Information and Computation, 76, 93 (1988).