Positive recursive type assignment (1995)

by P Urzyczyn
Venue:In Proc. 20th International Symposium Mathematical Foundations of Computer Science (MFCS’95