1. Boehm, H. J.: Partial polymorphic type inference is undecidable. 26th Annual Symposium on Foundations of Computer Science IEEE Press (1985) 339–345
2. Gallier, J. H.: On Girard's Candidats de Reductibilite. Logic and Computer Science Academic Press P. Odifreddi (1990) 123–204
3. Giannini, P., Ronchi Della Rocca, S.: Characterization of typings in polymorphic type disscipline. Proc. 3rd Ann. Symp. Logic Comput. Sci. Edinburgh (1988) 61–70
4. Giannini, P., Honsell, F., Ronchi Della Rocca, S.: Type Inference: Some results, Some problems. Fondamenta Informaticae 19(1,2) (1993) 87–125
5. Girard, J.Y.: Interpretation Fonctionnelle et Elimination des Coupures de l'Arithmétique d'Ordre Supérieure. Thèse d'etat Université Paris VII (1972)