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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.