%0 Conference Proceedings
%F abmc94
%A Abramsky, Samson
%A McCusker, Guy
%T Games for Recursive Types
%B Theory and Formal Methods
%P 1-20
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/abramsky1994.pdf
%D 1994
%K rectype