%0 Journal Article 
%F cosmo2005
%A Cosmo, Roberto Di
%T A short survey of isomorphisms of types
%J Mathematical Structures in Computer Science
%V 15
%N 5
%P 825-838
%D 2005
%K rectype