urzyczyn95

Pawel Urzyczyn. Positive Recursive Type Assignment. In Proc. Mathematical Foundations of Computer Science (MFCS), Prague, Czech Republic, Lecture Notes in Computer Science, This is an updated version dated January 5, 1996, 1995.

Keyword

[ Rectype ]

Contact

P. Urzyczyn

BibTex Reference

@InProceedings{urzyczyn95,
   Author = {Urzyczyn, Pawel},
   Title = {Positive Recursive Type Assignment},
   BookTitle = {Proc. Mathematical Foundations of Computer Science (MFCS), Prague, Czech Republic},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)