%0 Conference Proceedings
%F abfi96
%A Abadi, Mart\'\in
%A Fiore, Marcelo P.
%T Syntactic Considerations on Recursive Types
%B Proc. 1996 IEEE 11th Annual Symp. on Logic in Computer Science (LICS), New Brunswick, New Jersey
%I IEEE Computer Society Press
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/abadi1996.ps
%8 June
%D 1996
%K rectype