%0 Conference Proceedings
%F urzyczyn95
%A Urzyczyn, Pawel
%T Positive Recursive Type Assignment
%B Proc. Mathematical Foundations of Computer Science (MFCS), Prague, Czech Republic
%S Lecture Notes in Computer Science
%I Springer-Verlag
%D 1995
%K rectype