%0 Journal Article 
%F paulson97
%A Paulson, Lawrence C.
%T Mechanizing Coinduction and Corecursion in Higher-order Logic
%J J.{\ }Logic and Computation
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/paulson1997.pdf
%D 1997
%K typetheory
%K  coinduction