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]

Authors

Thorsten Altenkirch

This author has not been identified. It may be one of the following persons: Look up 'Thorsten Altenkirch' in Google

Nils Anders Danielsson

This author has not been identified. It may be one of the following persons: Look up 'Nils Anders Danielsson' in Google