Type recursion in the presence of polymorphic recursion (1993)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:ACM Transactions on Programming Languages and Systems