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]
@inproceedings{AltenkirchD10,
title = {Termination Checking in the Presence of Nested Inductive and Coinductive Types},
author = {Thorsten Altenkirch and Nils Anders Danielsson},
year = {2010},
url = {http://www.easychair.org/publications/?page=751599912},
researchr = {https://researchr.org/publication/AltenkirchD10},
cites = {0},
citedby = {0},
pages = {100-105},
booktitle = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010},
editor = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
volume = {5},
series = {EPiC Series},
publisher = {EasyChair},
}