@article{ITA_2004__38_4_277_0, author = {Abel, Andreas}, title = {Termination checking with types}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {277--319}, publisher = {EDP-Sciences}, volume = {38}, number = {4}, year = {2004}, doi = {10.1051/ita:2004015}, zbl = {1089.68028}, mrnumber = {2098193}, language = {en}, url = {http://www.numdam.org/articles/10.1051/ita:2004015/} }