E cient recursive subtyping (1993)

by Dexter Kozen, Jens Palsberg, Michael I Schwartzbach
Venue:In Proc. 20th ACM Symp. Princip. Programming Lang