Positive Recursive Type Assignment
Paweł Urzyczyn · Fundamenta Informaticae · 1996
We consider several different definitions of type assignment with positive recursive types, from the point of view of their typing ability. We discuss the relationships between these systems. In particular, we show that the class of typable pure lamb