Jean-François Monin, Judicaël Courant. Proving termination using dependent types: the case of XOR-terms. In Henrik Nilsson, editor, Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. Volume 7 of Trends in Functional Programming, pages 1-18, Intellect, 2006.
@inproceedings{MoninC06,
title = {Proving termination using dependent types: the case of XOR-terms},
author = {Jean-François Monin and Judicaël Courant},
year = {2006},
tags = {termination},
researchr = {https://researchr.org/publication/MoninC06},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006},
editor = {Henrik Nilsson},
volume = {7},
series = {Trends in Functional Programming},
publisher = {Intellect},
isbn = {978-1-84150-188-8},
}