Subtyping recursive types in kernel Fun (1999)

by Dario Colazzo, Giorgio Ghelli
Venue:In Proceedings of IEEE Synposium On Logic In Computer Science