Subtyping recursive types (1993)

by Roberto M. Amadio, Luca Cardelli
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS