1. Y. Akama. On Mints' reductions for ccc-Calculus. In TLCA, n. 664 in LNCS, pages 1–12. Springer Verlag, 1993.
2. F. Barbanera. Combining term-rewriting and type-assignment systems. In 3rd It. Conf. on TCS, 1989.
3. F. Barbanera, M. Fernandez, and H. Geuvers. Modularity of strong normalization and confluence in the algebraic-λ-cube. In LICS, Paris, 1994.
4. H. Barendregt. The Lambda Calculus; Its syntax and Semantics (revised edition). North Holland, 1984.
5. G. Bellè. Syntactical properties of an extension of girard's system f where types can be taken as “generic” inputs. 1995. Available as ftp://idefix.disi.unige.it/pub/gbelle/systemFC.ps.Z.