%O Report 
%F abr98
%A Auerbach, Joshua
%A Barton, Charles
%A Raghavachari, Mukund
%T Type Isomorphisms with Recursive Types
%N 0
%I IBM Research
%C T.J.{\ }Watson Research Center, Yorktown Heights, New York
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/auerbach1998.ps
%D 1998
%K rectype