cosmadakis89

S. Cosmadakis. Computing with Recursive Types. In Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS), Pages 24-38, 1989.

Keyword

[ Rectype ]

Contact

S. Cosmadakis

BibTex Reference

@InProceedings{cosmadakis89,
   Author = {Cosmadakis, S.},
   Title = {Computing with Recursive Types},
   BookTitle = {Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS)},
   Pages = {24--38},
   Publisher = {IEEE Computer Society Press},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)