%0 Journal Article
%A Abel, Andreas
%T Termination checking with types
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2004
%P 277-319
%V 38
%N 4
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2004015/
%R 10.1051/ita:2004015
%G en
%F ITA_2004__38_4_277_0