Termination Checking in the Presence of Nested Inductive and Coinductive Types

Thorsten Altenkirch, Nils Anders Danielsson. Termination Checking in the Presence of Nested Inductive and Coinductive Types. In Ekaterina Komendantskaya, Ana Bove, Milad Niqui, editors, Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010. Volume 5 of EPiC Series, pages 100-105, EasyChair, 2010. [doi]