1. S. van Bakel, L. Liquori, S. Ronchi della Roncha, and P. Urzyczyn. Comparing cubes. In A. Nerode and Y.N. Matiyasevich, editors, Proceedings of LFCS'94, volume 813 of Lecture Notes in Computer Science, pages 353–365. Springer-Verlag, 1994. An extended version is to appear in Annals of Pure and Applied Logic.
2. H. Barendregt. Introduction to Generalised Type Systems. J. Functional Programming, 1(2):125–154, April 1991.
3. H. Barendregt. Lambda calculi with types. In S. Abramsky, D. M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, pages 117–309. Oxford Science Publications, 1992. Volume 2.
4. G. Barthe, J. Hatcliff, and M.H. SØrensen. CPS-translation and applications: the cube and beyond. In O. Danvy, editor, Proc. of the 2nd ACM SIGPLAN Workshop on Continuations, number NS-96-13 in BRICS Notes, pages 4:1–31, 1996.
5. G. Barthe, J. Hatcliff, and M.H. SØrensen. Classical pure type systems. In Proceedings of MFPS'97, Electronic Notes in Theoretical Computer Science, 1997.