coppo85

M. Coppo. A Compeleteness Theorem for Recursively Defined Types. In Proc. ?, Lecture Notes in Computer Science, Pages 120-129, 1985.

Keyword

[ Rectype ]

Contact

Mario Coppo

BibTex Reference

@InProceedings{coppo85,
   Author = {Coppo, M.},
   Title = {A Compeleteness Theorem for Recursively Defined Types},
   BookTitle = {Proc. ?},
   Pages = {120--129},
   Publisher = {Springer},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)