Subtyping recursive types. ACM Transactions on Programming Languages and Systems (TOPLAS), 15 (4):575–631 (1993)

by R M Amadio, L Cardelli
Venue:In Proceedings of Theory of Security and Applications (TOSCA