%0 Conference Proceedings
%F coppo85
%A Coppo, M.
%T A Compeleteness Theorem for Recursively Defined Types
%B Proc. ?
%P 120-129
%I Springer
%D 1985
%K rectype