Termination Checking in the Presence of Nested Inductive and Coinductive Types.

Thorsten Altenkirch, Nils Anders Danielsson

Browse the full ITP paper archive.