%0 Conference Proceedings
%F cardone92
%A Cardone, F.
%T An Algebraic Approach to the Interpretation of Recursive Types
%B Proc. 17th Coll. on Trees in Algebra and Programming (CAAP), Rennes, France
%E Raoult, J.-C.
%P 66-85
%I Springer
%8 February
%D 1992
%K rectype