1. Barendregt, H. P.: Lambda Calculi with Types, Handbook of Logic in Computer Science Vol. II, Oxford University Press, pp. 1–189, 1992.
2. Boehm, Hans-J.: Partial Polymorphic Type Inference is Undecidable, Proc. 26th Annual Symposium of Fundations of Computer Science, pp. 339–345, 1985.
3. Barthe, G., Hatcliff, J., and Sørensen, M. H.: CSP Translations and Applications: The Cube and Beyond, Proc. ACM SIGPLAN on Continuations, pp. 1–31, 1996.
4. Lect Notes Comput Sci;G. Barthe,1997
5. Barthe, G. and Sørensen, M. H.: Domain-Free Pure Type Systems.