1. M. Abadi, M. Fiore, Syntactic considerations on recursive types, 11th Symposium on Logic in Computer Science, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 242–252.
2. R. Amadio, K. Bruce, G. Longo, The finitary projection model for second order lambda calculus and solutions to higher order domain equations, Proc. First Symp. on Logic in Computer Science, IEEE Computer Society Press, Silver Spring, MD, 1986, pp. 122–130.
3. Subtyping recursive types;Amadio;ACM Trans. Programming Languages Systems,1993
4. J. Auerbach, C. Barton, M. Raghavachari, Type isomorphisms with recursive types, Technical Report RC21247, IBM Research Division, T.J. Watson Research Center, 1998.
5. The Lambda Calculus. Its Syntax and Semantics;Barendregt,1984