TY - JOUR AU - Abel, Andreas TI - Termination checking with types JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2004 DA - 2004/// SP - 277 EP - 319 VL - 38 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2004015/ UR - https://zbmath.org/?q=an%3A1089.68028 UR - https://www.ams.org/mathscinet-getitem?mr=2098193 UR - https://doi.org/10.1051/ita:2004015 DO - 10.1051/ita:2004015 LA - en ID - ITA_2004__38_4_277_0 ER -