Positive Recursive Type Assignment

Pawel Urzyczyn. Positive Recursive Type Assignment. Fundamenta Informaticae, 28(1-2):197-209, 1996.

Abstract

Abstract is missing.