Pawel Urzyczyn. Positive Recursive Type Assignment. Fundamenta Informaticae, 28(1-2):197-209, 1996.
@article{Urzyczyn96, title = {Positive Recursive Type Assignment}, author = {Pawel Urzyczyn}, year = {1996}, researchr = {https://researchr.org/publication/Urzyczyn96}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {28}, number = {1-2}, pages = {197-209}, }