## Mario Coppo

*A Completeness Theorem for Recursively Defined Types*

ICALP, 1985.

@inproceedings{ICALP-1985-Coppo, author = "Mario Coppo", booktitle = "{Proceedings of the 12th Colloquium on Automata, Languages and Programming}", doi = "10.1007/BFb0015737", isbn = "3-540-15650-X", pages = "120--129", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Completeness Theorem for Recursively Defined Types}", volume = 194, year = 1985, }